diff -r 04ce6bb14d85 -r b68f3afdc137 NEWS
--- 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.