| Sat, 10 May 2008 13:26:25 +0200 | wenzelm | avoid old macros from isar.sty; | file | diff | annotate |
| Tue, 06 Sep 2005 16:59:48 +0200 | wenzelm | axclass: name space prefix is now "c_class" instead of just "c"; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Mon, 03 Dec 2001 20:59:57 +0100 | wenzelm | use \<zero>, \<one>; | file | diff | annotate |
| Sat, 01 Dec 2001 18:52:32 +0100 | wenzelm | renamed class "term" to "type" (actually "HOL.type"); | file | diff | annotate |
| Mon, 12 Feb 2001 20:43:12 +0100 | wenzelm | \<subseteq>; | file | diff | annotate |
| Mon, 05 Feb 2001 20:33:50 +0100 | wenzelm | tuned; | file | diff | annotate |