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