Thu, 15 Mar 2012 22:08:53 +0100 | wenzelm | declare command keywords via theory header, including strict checking outside Pure; | file | diff | annotate |
Thu, 15 Mar 2012 19:02:34 +0100 | wenzelm | declare minor keywords via theory header; | file | diff | annotate |
Sun, 04 Mar 2012 00:26:23 +0100 | haftmann | tuned ML | file | diff | annotate |
Sun, 04 Mar 2012 00:03:21 +0100 | haftmann | actually add "the" Importer theory | file | diff | annotate |