Wed, 30 Apr 2003 10:01:35 +0200 | ballarin | Greatly extended CRing. Added Module. | file | diff | annotate |
Mon, 10 Mar 2003 17:25:34 +0100 | ballarin | First distributed version of Group and Ring theory. | file | diff | annotate |
Thu, 27 Feb 2003 15:12:29 +0100 | ballarin | Change to meta simplifier: congruence rules may now have frees as head of term. | file | diff | annotate |
Fri, 14 Feb 2003 17:35:56 +0100 | ballarin | Product operator added --- preliminary. | file | diff | annotate |
Mon, 10 Feb 2003 09:45:22 +0100 | ballarin | New development of algebra: Groups. | file | diff | annotate |