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 |