src/Doc/Implementation/Proof.thy
Tue, 28 Oct 2014 13:52:54 +0100 wenzelm 'notepad' requires proper nesting of begin/end;
Mon, 20 Oct 2014 23:17:28 +0200 wenzelm tuned spacing;
Tue, 07 Oct 2014 21:29:59 +0200 wenzelm more cartouches;
less more (0) -3 tip