*** empty log message ***

--- 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 ***