| Mon, 30 Sep 2002 16:14:02 +0200 | berghofe | Adapted to new simplifier. | changeset | files |
| Mon, 30 Sep 2002 16:12:16 +0200 | berghofe | Removed nRS again because extract_rews now takes care of preserving names. | changeset | files |
| Mon, 30 Sep 2002 16:10:32 +0200 | berghofe | Added elim_vars to preprocessor. | changeset | files |
| Mon, 30 Sep 2002 16:09:05 +0200 | berghofe | Fixed problem with induct_conj_curry: variable C should have type prop. | changeset | files |