NEWS; corrected spelling
authorhaftmann
Fri Sep 25 10:20:03 2009 +0200 (2009-09-25)
changeset 32706b68f3afdc137
parent 32705 04ce6bb14d85
child 32708 224ceb576bc3
child 32712 ec5976f4d3d8
NEWS; corrected spelling
NEWS
     1.1 --- a/NEWS	Fri Sep 25 09:50:31 2009 +0200
     1.2 +++ b/NEWS	Fri Sep 25 10:20:03 2009 +0200
     1.3 @@ -111,8 +111,11 @@
     1.4  simp rules by default any longer.  The same applies to
     1.5  min_max.inf_absorb1 etc.!  INCOMPATIBILITY.
     1.6  
     1.7 +* sup_Int_eq and sup_Un_eq are no default pred_set_conv rules any longer.
     1.8 +INCOMPATIBILITY.
     1.9 +
    1.10  * Power operations on relations and functions are now one dedicate
    1.11 -constant "compow" with infix syntax "^^".  Power operations on
    1.12 +constant "compow" with infix syntax "^^".  Power operation on
    1.13  multiplicative monoids retains syntax "^" and is now defined generic
    1.14  in class power.  INCOMPATIBILITY.
    1.15