| 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 |
| Fri, 14 Nov 1997 15:51:09 +0100 | wenzelm | merge_refs: check for different versions of theories; | changeset | files |