| Fri, 14 Mar 2003 18:00:16 +0100 | ballarin | Bugs fixed and operators finprod and finsum. | 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 |