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 |