| Thu, 06 Nov 2003 14:18:05 +0100 | ballarin | Isar/Locales: <loc>.intro and <loc>.axioms no longer intro? and elim? by | 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, 01 Apr 2003 16:08:34 +0200 | ballarin | Fixed Coset.thy (proved theorem factorgroup_is_group). | 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 |