Fri, 16 Oct 1998 17:36:12 +0200 | nipkow | 2. The simplifier now knows a little bit about nat-arithmetic. | changeset | files |
Fri, 16 Oct 1998 17:33:43 +0200 | nipkow | Mods because trans_tac is now part of thge simplifier. | changeset | files |
Fri, 16 Oct 1998 17:32:29 +0200 | nipkow | Mods because of: Installed trans_tac in solver of simpset(). | changeset | files |