Stats on 2007-04-09, you might also be interested in the current stats for isabelle.
Created by mwaf.
