Fri, 23 Oct 1998 20:44:34 +0200 | oheimb | corrected auto_tac (applications of unsafe wrappers) | file | diff | annotate |
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 |