| Wed, 13 Jun 2007 00:01:41 +0200 | wenzelm | tuned proofs: avoid implicit prems; | file | diff | annotate |
| Wed, 07 Feb 2007 17:32:52 +0100 | berghofe | Adapted to changes in Finite_Set theory. | file | diff | annotate |
| Thu, 03 Aug 2006 14:57:26 +0200 | ballarin | Restructured algebra library, added ideals and quotient rings. | file | diff | annotate |
| Fri, 01 Jul 2005 14:02:58 +0200 | berghofe | Removed setsubgoaler hack. | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Wed, 24 Nov 2004 11:13:00 +0100 | nipkow | mod because of change in finite set induction | file | diff | annotate |
| Mon, 02 Aug 2004 09:44:46 +0200 | ballarin | Theories now take advantage of recent syntax improvements with (structure). | file | diff | annotate |