[isabelle-dev] HOL-NumberTheory runtime

Makarius makarius at sketis.net
Thu Jul 19 21:18:28 CEST 2007


Does anybody know why the runtime of HOL-NumberTheory has doubled 
recently? (See http://isabelle.in.tum.de/devel/stats/at-poly.html)


	Makarius



More information about the isabelle-dev mailing list