| Sun, 06 May 2007 21:49:32 +0200 | haftmann | dropped legacy ML binding | file | diff | annotate |
| Fri, 09 Mar 2007 08:45:55 +0100 | haftmann | *** empty log message *** | file | diff | annotate |
| Wed, 29 Nov 2006 15:44:51 +0100 | wenzelm | simplified method setup; | file | diff | annotate |
| Wed, 20 Sep 2006 15:11:46 +0200 | paulson | tidied | file | diff | annotate |
| Thu, 22 Dec 2005 14:22:11 +0100 | paulson | shorter proof | file | diff | annotate |
| Fri, 30 Sep 2005 09:52:46 +0200 | paulson | theorems need names | file | diff | annotate |
| Wed, 28 Sep 2005 11:15:33 +0200 | paulson | streamlined theory; conformance to recent publication | file | diff | annotate |
| Wed, 13 Jul 2005 16:47:23 +0200 | paulson | tidied | file | diff | annotate |
| 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 |