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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
