| 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 |
| Mon, 07 Oct 1996 10:55:51 +0200 | paulson | Simple tidying | changeset | files |
| Mon, 07 Oct 1996 10:47:01 +0200 | paulson | New proof required by change to simpdata.ML | changeset | files |
| Mon, 07 Oct 1996 10:43:40 +0200 | paulson | Now replaces shorthand commands even if indented | changeset | files |