| Tue, 13 Apr 2004 09:42:40 +0200 | ballarin | Various changes to HOL-Algebra; | file | diff | annotate |
| Fri, 02 May 2003 20:02:50 +0200 | ballarin | HOL-Algebra complete for release Isabelle2003 (modulo section headers). | file | diff | annotate |
| Thu, 01 May 2003 10:29:44 +0200 | paulson | moving Bij.thy from GroupTheory to Algebra | file | diff | annotate |
| Wed, 30 Apr 2003 18:32:06 +0200 | ballarin | HOL-Algebra: New polynomial development added. | file | diff | annotate |
| Wed, 30 Apr 2003 10:01:35 +0200 | ballarin | Greatly extended CRing. Added Module. | 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 |
| Tue, 30 May 2000 16:08:38 +0200 | wenzelm | cleaned up; | file | diff | annotate |
| Thu, 11 Nov 1999 11:58:51 +0100 | wenzelm | with_path; | file | diff | annotate |
| Fri, 05 Nov 1999 11:14:26 +0100 | paulson | Algebra and Polynomial theories, by Clemens Ballarin | file | diff | annotate |