Tue, 28 Sep 2010 10:10:26 +0200 | updated "op *" --> Groups.times_class.times in src and test | file | diff | annotate |
Tue, 28 Sep 2010 09:06:56 +0200 | tuned error and writeln | file | diff | annotate |
Tue, 28 Sep 2010 07:28:10 +0200 | repaired fun uminus_to_string, fun rewrite_terms_ | file | diff | annotate |