Thu, 29 Jun 2000 16:50:52 +0200 | paulson | now freezes Vars in order to prevent errors in cases like these: | file | diff | annotate |
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 |