[isabelle-dev] HOL-NumberTheory runtime

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

Previous message (by thread): [isabelle-dev] Sledgehammer
Next message (by thread): [isabelle-dev] Renaming List.set_take_whileD?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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


	Makarius

Previous message (by thread): [isabelle-dev] Sledgehammer
Next message (by thread): [isabelle-dev] Renaming List.set_take_whileD?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list