| Tue, 15 Jul 2008 16:50:09 +0200 | ballarin | Removed uses of context element includes. | file | diff | annotate |
| Wed, 05 Mar 2008 21:33:59 +0100 | wenzelm | explicit referencing of background facts; | file | diff | annotate |
| Tue, 24 Jul 2007 15:29:57 +0200 | ballarin | Interpretation of rings (as integers) maps defined operations to defined | file | diff | annotate |
| 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 |
| Fri, 22 Dec 2006 14:03:30 +0100 | ballarin | Experimenting with interpretations of "definition". | file | diff | annotate |
| Thu, 03 Aug 2006 14:57:26 +0200 | ballarin | Restructured algebra library, added ideals and quotient rings. | file | diff | annotate |