| Fri, 24 Jul 1998 13:03:20 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |
| Thu, 18 Sep 1997 13:24:04 +0200 | paulson | Global change: lost->bad and sees Spy->spies | file | diff | annotate |
| Mon, 14 Jul 1997 12:47:21 +0200 | paulson | Changing "lost" from a parameter of protocol definitions to a constant. | file | diff | annotate |
| Fri, 11 Jul 1997 13:26:15 +0200 | paulson | Moving common declarations and proofs from theories "Shared" | file | diff | annotate |
| Tue, 01 Jul 1997 17:35:09 +0200 | paulson | Removal of the obsolete newN function | file | diff | annotate |
| Thu, 09 Jan 1997 10:22:11 +0100 | paulson | New treatment of nonce creation | file | diff | annotate |
| Thu, 19 Dec 1996 11:58:39 +0100 | paulson | Extensive tidying and simplification, largely stemming from | file | diff | annotate |
| Thu, 05 Dec 1996 18:07:27 +0100 | paulson | Public-key examples | file | diff | annotate |