doc-src/IsarRef/Thy/Proof.thy
Thu, 02 Feb 2012 17:52:16 +0100 wenzelm discontinued obscure history commands;
Wed, 25 Jan 2012 21:14:00 +0100 wenzelm tuned ML infixes;
Thu, 13 Oct 2011 13:49:55 +0200 noschinl tuned markup
Mon, 03 Oct 2011 11:14:19 +0200 wenzelm some amendments due to Jean Pichon;
less more (0) -30 -10 -4 tip