--- a/NEWS Thu Jul 24 00:24:00 2014 +0200
+++ b/NEWS Thu Jul 24 10:22:34 2014 +0200
@@ -596,10 +596,9 @@
INCOMPATIBILITY.
-* Removed collections add_ac and mult_ac. Prefer ac_simps instead,
-or specify rules (add|mult).(assoc|commute|left_commute) individually.
-
-INCOMPATIBILITY.
+* Fact collections add_ac and mult_ac are considered old-fashined.
+Prefer ac_simps instead, or specify rules
+(add|mult).(assoc|commute|left_commute) individually.
* Elimination of fact duplicates:
equals_zero_I ~> minus_unique