| Wed, 09 Oct 1996 13:36:17 +0200 | paulson | Added the de Morgan laws (incl quantifier versions) to basic simpset | changeset | files |
| Wed, 09 Oct 1996 13:32:33 +0200 | paulson | New unified treatment of sequent calculi by Sara Kalvala | changeset | files |
| Tue, 08 Oct 1996 10:28:02 +0200 | paulson | Put in the theorem Says_Crypt_not_lost | changeset | files |
| Tue, 08 Oct 1996 10:27:31 +0200 | paulson | Put in a simpler and *much* faster proof of no_nonce_OR1_OR2 | changeset | files |
| Tue, 08 Oct 1996 10:26:23 +0200 | paulson | New guarantees for each line of protocol | changeset | files |
| Tue, 08 Oct 1996 10:21:04 +0200 | paulson | Addition of Revl rule, and tidying | changeset | files |