| 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 |