[isabelle-dev] HOL-IMP very slow

Makarius makarius at sketis.net
Wed Feb 12 16:03:24 CET 2014

This is a quick note on a situation that I don't oversee right now:

HOL-IMP is more than 10 times slower than usual according to

I see a lot of incoming changes (and many hg queue accidents) just before 
that, but it might be unrelated.


More information about the isabelle-dev mailing list