NEWS
changeset 57512 cc97b347b301
parent 57508 19240ff4b02d
child 57515 adfb932486df
     1.1 --- a/NEWS	Fri Jul 04 20:07:08 2014 +0200
     1.2 +++ b/NEWS	Fri Jul 04 20:18:47 2014 +0200
     1.3 @@ -221,6 +221,22 @@
     1.4  * The symbol "\<newline>" may be used within char or string literals
     1.5  to represent (Char Nibble0 NibbleA), i.e. ASCII newline.
     1.6  
     1.7 +* Reduced name variants for rules on associativity and commutativity:
     1.8 +
     1.9 +    add_assoc ~> add.assoc
    1.10 +    add_commute ~> add.commute
    1.11 +    add_left_commute ~> add.left_commute
    1.12 +    mult_assoc ~> mult.assoc
    1.13 +    mult_commute ~> mult.commute
    1.14 +    mult_left_commute ~> mult.left_commute
    1.15 +    nat_add_assoc ~> add.assoc
    1.16 +    nat_add_commute ~> add.commute
    1.17 +    nat_add_left_commute ~> add.left_commute
    1.18 +    nat_mult_assoc ~> mult.assoc
    1.19 +    nat_mult_commute ~> mult.commute
    1.20 +    eq_assoc ~> iff_assoc
    1.21 +    eq_left_commute ~> iff_left_commute
    1.22 +
    1.23  * Qualified String.implode and String.explode.  INCOMPATIBILITY.
    1.24  
    1.25  * Simplifier: Enhanced solver of preconditions of rewrite rules can