Sun, 16 Nov 1997 16:18:31 +0100 | nipkow | Removed | changeset | files |
Sat, 15 Nov 1997 18:41:06 +0100 | nipkow | Redesigned the decision procedures for (Abelian) groups and commutative rings. | changeset | files |
Sat, 15 Nov 1997 13:10:52 +0100 | nipkow | Added | changeset | files |