Mon, 07 Oct 1996 10:55:51 +0200 | paulson | Simple tidying | file | diff | annotate |
Thu, 26 Sep 1996 12:50:48 +0200 | paulson | Introduction of "lost" argument | file | diff | annotate |
Mon, 23 Sep 1996 18:21:31 +0200 | paulson | Correction of protocol; addition of Reveal message; proofs of | file | diff | annotate |
Wed, 11 Sep 1996 18:40:55 +0200 | paulson | Reformatting | file | diff | annotate |
Tue, 03 Sep 1996 16:43:31 +0200 | paulson | Initial working proof of Otway-Rees protocol | file | diff | annotate |