| Fri, 13 Sep 1996 18:49:43 +0200 | paulson | Reformatting; proved B_gets_secure_key | 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 |