| Thu, 15 Oct 1998 11:35:07 +0200 | paulson | specifications as sets of programs | file | diff | annotate |
| Wed, 23 Sep 1998 10:11:18 +0200 | paulson | tidying and deleting needless parentheses | file | diff | annotate |
| Mon, 14 Sep 1998 10:18:07 +0200 | paulson | commented out duplicate proof | file | diff | annotate |
| Thu, 10 Sep 1998 17:30:24 +0200 | paulson | deleted not_Says_to_self | file | diff | annotate |
| Mon, 07 Sep 1998 10:43:31 +0200 | paulson | New UNITY theory, the N-S protocol | file | diff | annotate |