Am 18.10.2010 um 15:36 schrieb Jasmin Blanchette: > Hi all,
Oops! I meant to send this to isabelle-group, not isabelle-dev. Sorry for the spam. Jasmin _______________________________________________ Isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
