[isabelle-dev] Status of HOL/SMT

[Makarius]

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