Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
Wed, 11 Jul 2007 11:14:51 +0200 | berghofe | Adapted to new inductive definition package. | 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 |
Sat, 26 Apr 2003 12:38:42 +0200 | paulson | converting more HOL-Auth to new-style theories | file | diff | annotate |