| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Thu, 28 Sep 2006 23:42:35 +0200 | wenzelm | replaced syntax/translations by abbreviation; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Thu, 24 Jul 2003 16:36:29 +0200 | paulson | Tidying and replacement of some axioms by specifications | file | diff | annotate |
| Mon, 05 May 2003 18:22:01 +0200 | paulson | improved presentation of HOL/Auth theories | file | diff | annotate |
| Fri, 25 Apr 2003 11:18:14 +0200 | paulson | Changes required by the certified email protocol | file | diff | annotate |
| Sat, 17 Aug 2002 14:55:08 +0200 | paulson | tidying of Isar scripts | file | diff | annotate |