| Tue, 24 Aug 1999 11:43:05 +0200 | wenzelm | fixed intro_elim_tac; | changeset | files |
| Mon, 23 Aug 1999 16:58:00 +0200 | wenzelm | record_simproc; | changeset | files |
| Mon, 23 Aug 1999 16:51:48 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 23 Aug 1999 16:50:10 +0200 | wenzelm | record_simproc; | changeset | files |
| Mon, 23 Aug 1999 16:38:29 +0200 | berghofe | Some changes in sections about Sum and Nat. | changeset | files |
| Mon, 23 Aug 1999 16:22:23 +0200 | nipkow | simplifier flex heads. | changeset | files |
| Mon, 23 Aug 1999 16:13:42 +0200 | nipkow | Now rewrite rules with flexible heads are allowed. | changeset | files |