| 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 |