| Fri, 09 Oct 1998 11:10:59 +0200 | paulson | polymorphic versions of nat_neq_iff and nat_neqE | changeset | files |
| Thu, 08 Oct 1998 11:59:17 +0200 | nipkow | Further improvement of the simplifier. | changeset | files |
| Wed, 07 Oct 1998 18:17:37 +0200 | nipkow | Tuned simplifier not to re-normalized already normalized terms. | changeset | files |