[isabelle-dev] Speed of @{thm}

Makarius makarius at sketis.net
Fri Aug 10 22:21:19 CEST 2012


On Fri, 10 Aug 2012, Jasmin Blanchette wrote:

> I'm attaching my test files for the record. Dmitriy tried these already 
> and confirmed my measurements.

OK, I will also look for the fat.


 	Makarius




More information about the isabelle-dev mailing list