| Thu, 16 Oct 1997 14:52:35 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 16 Oct 1997 14:48:10 +0200 | wenzelm | removed begin; | changeset | files |
| Thu, 16 Oct 1997 14:46:55 +0200 | wenzelm | fixed prep_ext; | changeset | files |
| Thu, 16 Oct 1997 14:14:01 +0200 | nipkow | Simplified proof. | changeset | files |
| Thu, 16 Oct 1997 14:12:58 +0200 | nipkow | Simplified proof because of better simplifier. | changeset | files |
| Thu, 16 Oct 1997 14:12:15 +0200 | nipkow | Various new lemmas. Improved conversion of equations to rewrite rules: | changeset | files |
| Thu, 16 Oct 1997 14:00:20 +0200 | wenzelm | added transfer: theory -> thm -> thm; | changeset | files |