| 2004-05-06 | wenzelm | 2004-05-06 | tuned document; | file | diff | annotate |
| 2004-04-23 | wenzelm | 2004-04-23 | improved notation; | file | diff | annotate |
| 2004-04-22 | wenzelm | 2004-04-22 | improved notation; | file | diff | annotate |
| 2004-04-16 | wenzelm | 2004-04-16 | simplified ML code for setsubgoaler; | file | diff | annotate |
| 2003-09-30 | ballarin | 2003-09-30 | Changed order of prems in finprod_cong. Slight speedup. | file | diff | annotate |
| 2003-04-30 | ballarin | 2003-04-30 | Greatly extended CRing. Added Module. | file | diff | annotate |