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