[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