| 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 |
| Fri, 26 Sep 2003 10:34:28 +0200 | paulson | Conversion of all main protocols from "Shared" to "Public". | file | diff | annotate |
| Tue, 23 Sep 2003 15:41:33 +0200 | paulson | Removal of the Key_supply axiom (affects many possbility proofs) and minor | file | diff | annotate |
| Mon, 05 May 2003 18:22:01 +0200 | paulson | improved presentation of HOL/Auth theories | file | diff | annotate |
| Tue, 29 Apr 2003 12:36:49 +0200 | paulson | tweaks | file | diff | annotate |