# HG changeset patch
# User nipkow
# Date 1030093681 -7200
# Node ID a0749ce05100b28b88319e425216d3e465a55992
# Parent  42efec18f5b255fab12c1144d89fbb686584fbcc
*** empty log message ***

diff -r 42efec18f5b2 -r a0749ce05100 NEWS
--- 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 ***