| Fri, 05 May 2000 22:32:49 +0200 | wenzelm | removed dead code: listof; | file | diff | annotate |
| Fri, 05 May 2000 17:49:54 +0200 | paulson | simprocs now simplify the RHS of their result | file | diff | annotate |
| Tue, 02 May 2000 18:39:34 +0200 | paulson | new simproc, replacing combine_coeffs and working for nat, int, real | file | diff | annotate |