| Thu, 07 Nov 1996 10:19:15 +0100 | paulson | Tidying up: removing redundant assumptions, etc. | file | diff | annotate |
| Tue, 05 Nov 1996 11:20:52 +0100 | paulson | Simplified new_keys_not_seen, etc.: replaced the | file | diff | annotate |
| Mon, 28 Oct 1996 12:55:24 +0100 | paulson | Changing from the Reveal to the Oops rule | file | diff | annotate |
| Fri, 18 Oct 1996 11:39:55 +0200 | paulson | Generaly tidying up | file | diff | annotate |
| Thu, 10 Oct 1996 18:40:34 +0200 | paulson | Abadi and Needham's variant of Otway-Rees | file | diff | annotate |