2007-02-07 | berghofe | 2007-02-07 | Adapted to changes in Finite_Set theory. | file | diff | annotate |
2006-12-22 | ballarin | 2006-12-22 | Experimenting with interpretations of "definition". | file | diff | annotate |
2006-08-03 | ballarin | 2006-08-03 | Restructured algebra library, added ideals and quotient rings. | file | diff | annotate |