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