[isabelle-dev] Status of HOL/SMT

Makarius makarius at sketis.net
Tue Dec 4 18:25:56 CET 2012


On Tue, 4 Dec 2012, Jasmin Blanchette wrote:

> Am 04.12.2012 um 18:11 schrieb Johannes Hölzl:
>
>> I remove the SMT certificates in HOL-Multivariate_Analysis in Isabelle/4b4fe0d5ee22.
>
> Thanks! I didn't mean to apply pressure on you, though. ;)

Nobody does.  It is more important to put issues on the table, to know 
what they are.  Sometimes, reforms don't take just 10min, but 10 years.


 	Makarius


More information about the isabelle-dev mailing list