| Mon, 22 Jun 1998 17:26:46 +0200 | wenzelm | isatool fixgoal; | file | diff | annotate |
| Sat, 15 Nov 1997 18:41:06 +0100 | nipkow | Redesigned the decision procedures for (Abelian) groups and commutative rings. | file | diff | annotate |
| Tue, 20 May 1997 11:41:26 +0200 | paulson | Added comment: it is SLOW | file | diff | annotate |
| Fri, 29 Nov 1996 15:11:37 +0100 | nipkow | Ring Theory. | file | diff | annotate |