| Mon, 26 Jul 1999 16:32:23 +0200 | paulson | expandshort | file | diff | annotate |
| Fri, 23 Jul 1999 17:27:12 +0200 | paulson | zadd_ac and zmult_ac are no longer included by default | file | diff | annotate |
| Mon, 19 Jul 1999 15:30:59 +0200 | paulson | many new laws about div and mod | file | diff | annotate |
| Wed, 14 Jul 1999 10:40:51 +0200 | paulson | optimization for division by powers of 2 | file | diff | annotate |
| Tue, 13 Jul 1999 10:45:09 +0200 | paulson | many new theorems | file | diff | annotate |
| Fri, 09 Jul 1999 10:49:14 +0200 | paulson | faster division algorithm; monotonicity of div in 2nd arg | file | diff | annotate |
| Thu, 08 Jul 1999 13:43:42 +0200 | paulson | Introduction of integer division algorithm | file | diff | annotate |