On Tue, 6 Aug 2013, Christian Sternagel wrote:
Please find attached a file containing all my changes.
OK, this is now at Isabelle/73e32ed924b3 and a few changes before.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
