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

[Jasmin Christian Blanchette]

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.

Jasmin