NEWS
changeset 57515 adfb932486df
parent 57512 cc97b347b301
child 57517 f4904e2b3040
     1.1 --- a/NEWS	Sat Jul 05 11:01:53 2014 +0200
     1.2 +++ b/NEWS	Sat Jul 05 11:06:14 2014 +0200
     1.3 @@ -237,6 +237,13 @@
     1.4      eq_assoc ~> iff_assoc
     1.5      eq_left_commute ~> iff_left_commute
     1.6  
     1.7 +INCOMPATIBILITY.
     1.8 +
     1.9 +* Removed collections add_ac and mult_ac.  Prefer ac_simps instead,
    1.10 +or specify rules (add|mult).(assoc|commute|left_commute) individually.
    1.11 +
    1.12 +INCOMPATIBILITY.
    1.13 +
    1.14  * Qualified String.implode and String.explode.  INCOMPATIBILITY.
    1.15  
    1.16  * Simplifier: Enhanced solver of preconditions of rewrite rules can