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 |
Fri, 13 Feb 2009 19:41:14 +0100 | wenzelm | misc tuning; | file | diff | annotate |
Thu, 12 Feb 2009 21:15:54 +0100 | wenzelm | improved sorry/noproof markup; | file | diff | annotate |
Thu, 12 Feb 2009 11:36:15 +0100 | wenzelm | tuned; | file | diff | annotate |
Wed, 11 Feb 2009 21:41:05 +0100 | wenzelm | more on Isar framework -- mostly from Trybulec Festschrift; | file | diff | annotate |
Mon, 09 Feb 2009 21:09:24 +0100 | wenzelm | added introductory examples; | file | diff | annotate |
Mon, 09 Feb 2009 12:52:16 +0100 | wenzelm | basic setup for chapter "The Isabelle/Isar Framework"; | file | diff | annotate |