Tue, 27 Jul 2010 23:02:45 +0200 | wenzelm | updated manual concerning theory loader; | file | diff | annotate |
Tue, 20 Jul 2010 23:16:21 +0200 | wenzelm | qualified Thy_Info.get_theory; | file | diff | annotate |
Thu, 03 Jun 2010 22:31:59 +0200 | wenzelm | discontinued obsolete Isar.context() -- long superseded by @{context}; | file | diff | annotate |
Mon, 31 May 2010 21:06:57 +0200 | wenzelm | modernized some structure names, keeping a few legacy aliases; | file | diff | annotate |
Fri, 05 Feb 2010 14:39:02 +0100 | wenzelm | updated generated files; | file | diff | annotate |
Wed, 28 Oct 2009 22:26:00 +0100 | wenzelm | updated Isar.goal; | file | diff | annotate |
Thu, 01 Oct 2009 20:20:45 +0200 | wenzelm | updated generated files; | file | diff | annotate |