Wed, 04 Mar 1998 13:15:05 +0100 | nipkow | Reorganized simplifier. May now reorient rules. | changeset | files |
Wed, 04 Mar 1998 13:14:11 +0100 | nipkow | Reorganized simplifier. May now reorient rules. | changeset | files |
Tue, 03 Mar 1998 15:15:04 +0100 | paulson | Better simplification allows deletion of parts of proofs | changeset | files |