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