| Thu, 03 Aug 2006 14:57:26 +0200 | ballarin | Restructured algebra library, added ideals and quotient rings. | file | diff | annotate |
| Fri, 01 Jul 2005 17:41:10 +0200 | nipkow | prime is a predicate now. | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Thu, 17 Jun 2004 17:18:30 +0200 | paulson | removal of magmas and semigroups | file | diff | annotate |
| Wed, 26 May 2004 11:43:50 +0200 | paulson | more group isomorphisms | file | diff | annotate |
| Fri, 14 May 2004 16:50:33 +0200 | paulson | removal of locale coset | file | diff | annotate |
| Thu, 06 May 2004 14:14:18 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Fri, 23 Apr 2004 21:46:04 +0200 | wenzelm | improved notation; | file | diff | annotate |
| Thu, 22 Apr 2004 11:01:34 +0200 | wenzelm | improved notation; | file | diff | annotate |
| Tue, 18 Mar 2003 18:07:06 +0100 | paulson | moved Exponent, Coset, Sylow from GroupTheory to Algebra, converting them | file | diff | annotate |