[isabelle-dev] HOL-NumberTheory runtime

[Makarius]

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


        Makarius