NEWS

--- a/NEWS	Sat Jul 05 11:01:53 2014 +0200
+++ b/NEWS	Sat Jul 05 11:06:14 2014 +0200
@@ -237,6 +237,13 @@
     eq_assoc ~> iff_assoc
     eq_left_commute ~> iff_left_commute
 
+INCOMPATIBILITY.
+
+* Removed collections add_ac and mult_ac.  Prefer ac_simps instead,
+or specify rules (add|mult).(assoc|commute|left_commute) individually.
+
+INCOMPATIBILITY.
+
 * Qualified String.implode and String.explode.  INCOMPATIBILITY.
 
 * Simplifier: Enhanced solver of preconditions of rewrite rules can