NEWS

--- a/NEWS	Fri Sep 09 14:15:16 2016 +0200
+++ b/NEWS	Fri Sep 09 15:12:40 2016 +0200
@@ -603,6 +603,10 @@
 of the procedure on natural numbers.
 INCOMPATIBILITY.
 
+* Renamed sums and products of multisets:
+  msetsum ~> sum_mset
+  msetprod ~> prod_mset
+
 * The lemma one_step_implies_mult_aux on multisets has been removed, use
 one_step_implies_mult instead.
 INCOMPATIBILITY.