| changeset 13518 | a0749ce05100 |
| parent 13500 | 2222c7a0e8bb |
| child 13522 | 934fffeb6f38 |
--- a/NEWS Fri Aug 23 07:41:05 2002 +0200 +++ b/NEWS Fri Aug 23 11:08:01 2002 +0200 @@ -55,6 +55,9 @@ * simp's arithmetic capabilities have been enhanced a bit: it now takes ~= in premises into account (by performing a case split); +* simp reduces "m*(n div m) + n mod m" to n, even if the two summands are + distributed over a sum of terms. + *** ML ***