| Fri, 17 Oct 1997 11:09:34 +0200 | paulson | New rewrite rules for simplifying conditionals | changeset | files |
| Fri, 17 Oct 1997 11:00:50 +0200 | paulson | New trivial rewrites | changeset | files |
| Fri, 17 Oct 1997 11:00:00 +0200 | paulson | New rewrite rules for simplifying conditionals | changeset | files |
| Fri, 17 Oct 1997 10:58:44 +0200 | paulson | Better simplification eliminates a command from proof of psubset_card | changeset | files |
| Fri, 17 Oct 1997 10:57:48 +0200 | paulson | New simprules imp_disj1,2 and some comments | changeset | files |
| Fri, 17 Oct 1997 09:04:02 +0200 | nipkow | Added image_eqI to simpset. | changeset | files |
| Fri, 17 Oct 1997 09:03:16 +0200 | nipkow | Removed image_eqI from simpset because of clash with neq_shrK. | changeset | files |