| Fri, 18 Aug 2000 12:34:13 +0200 | paulson | better rules for cancellation of common factors across comparisons | file | diff | annotate |
| Fri, 11 Aug 2000 10:34:02 +0200 | paulson | interim working version: more improvements to the integers | file | diff | annotate |
| Thu, 10 Aug 2000 11:27:34 +0200 | paulson | installation of cancellation simprocs for the integers | file | diff | annotate |