--- a/NEWS Fri Sep 25 09:50:31 2009 +0200
+++ b/NEWS Fri Sep 25 10:20:03 2009 +0200
@@ -111,8 +111,11 @@
simp rules by default any longer. The same applies to
min_max.inf_absorb1 etc.! INCOMPATIBILITY.
+* sup_Int_eq and sup_Un_eq are no default pred_set_conv rules any longer.
+INCOMPATIBILITY.
+
* Power operations on relations and functions are now one dedicate
-constant "compow" with infix syntax "^^". Power operations on
+constant "compow" with infix syntax "^^". Power operation on
multiplicative monoids retains syntax "^" and is now defined generic
in class power. INCOMPATIBILITY.