| Fri, 13 Sep 1996 13:20:22 +0200 | paulson | Uses the improved enemy_analz_tac of Shared.ML, with simpler proofs | file | diff | annotate |
| Mon, 09 Sep 1996 18:58:02 +0200 | paulson | "bad" set simplifies statements of many theorems | file | diff | annotate |
| Mon, 09 Sep 1996 17:34:24 +0200 | paulson | Stronger proofs; work for Otway-Rees | file | diff | annotate |
| Tue, 03 Sep 1996 19:06:00 +0200 | paulson | A further tidying | file | diff | annotate |
| Tue, 03 Sep 1996 16:43:31 +0200 | paulson | Initial working proof of Otway-Rees protocol | file | diff | annotate |