| Fri, 13 Dec 1996 10:57:50 +0100 | paulson | Streamlined many proofs | file | diff | annotate |
| Thu, 05 Dec 1996 19:00:28 +0100 | paulson | Trivial renamings | file | diff | annotate |
| Fri, 29 Nov 1996 18:03:21 +0100 | paulson | Swapped arguments of Crypt (for clarity and because it is conventional) | file | diff | annotate |
| Thu, 28 Nov 1996 10:41:14 +0100 | paulson | Weaking of injectivity assumptions for newK and newN: | file | diff | annotate |
| Fri, 08 Nov 1996 14:13:56 +0100 | paulson | Ran expandshort | file | diff | annotate |
| Tue, 05 Nov 1996 11:20:52 +0100 | paulson | Simplified new_keys_not_seen, etc.: replaced the | file | diff | annotate |
| Fri, 01 Nov 1996 18:28:19 +0100 | paulson | New version with simpler disambiguation in YM3, | file | diff | annotate |
| Fri, 18 Oct 1996 11:43:14 +0200 | paulson | New version of Yahalom, as recommended on p 259 of BAN paper | file | diff | annotate |