| Fri, 29 Nov 1996 18:03:21 +0100 | paulson | Swapped arguments of Crypt (for clarity and because it is conventional) | file | diff | annotate |
| Fri, 01 Nov 1996 18:34:34 +0100 | paulson | Minor changes to comments | file | diff | annotate |
| Thu, 24 Oct 1996 10:38:35 +0200 | paulson | New Oops message, with Server as source to ensure | file | diff | annotate |
| Fri, 18 Oct 1996 11:42:41 +0200 | paulson | Addition of Reveal message | file | diff | annotate |
| Thu, 26 Sep 1996 12:50:48 +0200 | paulson | Introduction of "lost" argument | file | diff | annotate |
| Fri, 13 Sep 1996 13:16:57 +0200 | paulson | Addition of Yahalom protocol | file | diff | annotate |
| Thu, 12 Sep 1996 10:40:05 +0200 | paulson | Tidied many proofs, using AddIffs to let equivalences take | file | diff | annotate |