Fri, 03 Jul 1998 11:02:01 +0200 | berghofe | Removed disjE from list of rules used to simplify elimination | changeset | files |
Fri, 03 Jul 1998 10:55:32 +0200 | nipkow | Removed leading !! in goals | changeset | files |
Fri, 03 Jul 1998 10:37:04 +0200 | nipkow | Removed leading !! in goals. | changeset | files |