| 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 |
| Thu, 16 Oct 1997 13:45:27 +0200 | wenzelm | oops; | changeset | files |
| Thu, 16 Oct 1997 13:45:16 +0200 | nipkow | The simplifier has been improved a little: equations s=t which used to be | changeset | files |
| Thu, 16 Oct 1997 13:43:42 +0200 | wenzelm | fixed dependencies; | changeset | files |