| Wed, 13 Jul 2005 15:06:20 +0200 | paulson | generlization of some "nat" theorems | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Sun, 11 Jul 2004 20:33:22 +0200 | wenzelm | local_cla/simpset_of; | 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 |
| Thu, 04 Sep 2003 11:08:24 +0200 | paulson | new, separate specifications | file | diff | annotate |
| Tue, 12 Aug 2003 13:35:03 +0200 | paulson | ZhouGollmann: new example (fair non-repudiation protocol) | 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 |