1.1 --- a/NEWS Thu Jul 24 00:24:00 2014 +0200
1.2 +++ b/NEWS Thu Jul 24 10:22:34 2014 +0200
1.3 @@ -596,10 +596,9 @@
1.4
1.5 INCOMPATIBILITY.
1.6
1.7 -* Removed collections add_ac and mult_ac. Prefer ac_simps instead,
1.8 -or specify rules (add|mult).(assoc|commute|left_commute) individually.
1.9 -
1.10 -INCOMPATIBILITY.
1.11 +* Fact collections add_ac and mult_ac are considered old-fashined.
1.12 +Prefer ac_simps instead, or specify rules
1.13 +(add|mult).(assoc|commute|left_commute) individually.
1.14
1.15 * Elimination of fact duplicates:
1.16 equals_zero_I ~> minus_unique