| Fri, 29 Nov 1996 18:03:21 +0100 | paulson | Swapped arguments of Crypt (for clarity and because it is conventional) | file | diff | annotate |
| Thu, 24 Oct 1996 10:30:43 +0200 | paulson | Removal of unused predicate isSpy | file | diff | annotate |
| Thu, 26 Sep 1996 12:50:48 +0200 | paulson | Introduction of "lost" argument | file | diff | annotate |
| Mon, 23 Sep 1996 18:18:18 +0200 | paulson | Simplification of definition of synth | file | diff | annotate |
| Tue, 03 Sep 1996 19:07:23 +0200 | paulson | Fixed pretty-printing of {|...|} | file | diff | annotate |
| Mon, 19 Aug 1996 11:19:55 +0200 | paulson | Renaming of functions, and tidying | file | diff | annotate |
| Fri, 28 Jun 1996 15:26:39 +0200 | paulson | Proving safety properties of authentication protocols | file | diff | annotate |