Fri, 16 Oct 1998 18:50:20 +0200 | berghofe | Changed structure of name spaces for datatypes. | changeset | files |
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 |