doc-src/IsarRef/Thy/Framework.thy
Sun, 05 Dec 2010 13:42:58 +0100 wenzelm prefer 'notepad' over 'example_proof';
Thu, 11 Nov 2010 13:07:41 +0100 wenzelm reduced danger of line breaks within minipage;
Mon, 26 Apr 2010 21:50:28 +0200 wenzelm use 'example_proof' (invisible);
Sun, 15 Feb 2009 18:50:51 +0100 wenzelm tuned spacing;
Sun, 15 Feb 2009 17:47:49 +0100 wenzelm tuned;
Sat, 14 Feb 2009 22:58:30 +0100 wenzelm added Isar/VM mode transition diagram;
Sat, 14 Feb 2009 21:37:04 +0100 wenzelm replaced 'assm' by 'assume' -- regular 'assume' is default, if inference is omitted;
less more (0) -10 -7 tip