| Thu, 21 Dec 2000 10:11:10 +0100 | paulson | simproc bug fix: negative literals and large terms | file | diff | annotate |
| Tue, 19 Dec 2000 15:17:21 +0100 | paulson | inserting the simproc int_cancel_factor | file | diff | annotate |
| Wed, 29 Nov 2000 10:21:43 +0100 | paulson | invoking CancelNumeralFactorFun | file | diff | annotate |