Fri, 16 Apr 2004 13:52:43 +0200 | wenzelm | simplified ML code for setsubgoaler; | file | diff | annotate |
Tue, 30 Sep 2003 15:10:26 +0200 | ballarin | Changed order of prems in finprod_cong. Slight speedup. | file | diff | annotate |
Wed, 30 Apr 2003 10:01:35 +0200 | ballarin | Greatly extended CRing. Added Module. | file | diff | annotate |