| 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 |