[isabelle-dev] AFP: Session AVL-Trees broken

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Thu Nov 8 12:41:41 CET 2012

Am 08.11.2012 um 11:55 schrieb Jasmin Christian Blanchette:

> I'll regenerate them [the certificates].

Actually, Z3 fails to refind the proof on my machine. Perhaps I'm using a different version of Z3 than Ondrej used. So I've now delegated the issue to Ondrej, who's more likely to be able to refind the proofs that he found once.


More information about the isabelle-dev mailing list