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 |
Tue, 08 Oct 1996 10:19:31 +0200 | paulson | New theorem Crypt_imp_invKey_keysFor | changeset | files |
Tue, 08 Oct 1996 10:18:53 +0200 | paulson | Removed command made redundant by the new one-point rules | changeset | files |
Tue, 08 Oct 1996 10:18:18 +0200 | paulson | Introduction of Slow_tac and Slow_best_tac | changeset | files |
Tue, 08 Oct 1996 10:17:50 +0200 | paulson | Addition of one-point quantifier rewrite rules | changeset | files |