diff -r 8e0abe0fa80f -r a318773dca05 NEWS
--- a/NEWS	Wed May 30 18:05:10 2007 +0200
+++ b/NEWS	Wed May 30 21:09:09 2007 +0200
@@ -542,6 +542,13 @@
     Nat.power ~> Nat.power_class.power
     Nat.size ~> Nat.size_class.size
     Numeral.number_of ~> Numeral.number_class.number_of
+    FixedPoint.Inf ~> FixedPoint.complete_lattice_class.Inf
+
+* Rudimentary class target mechanims involves constant renames:
+
+    Orderings.min ~> Orderings.ord_class.min
+    Orderings.max ~> Orderings.ord_class.max
+    FixedPoint.Sup ~> FixedPoint.complete_lattice_class.Sup
 
 * case expressions and primrec: missing cases now mapped to "undefined"
 instead of "arbitrary"
@@ -578,7 +585,7 @@
     Instantiation of lattice classes allows explicit definitions
     for "inf" and "sup" operations.
 
-  INCOMPATIBILITY. Theorem renames:
+  INCOMPATIBILITY.  Theorem renames:
 
     meet_left_le            ~> inf_le1
     meet_right_le           ~> inf_le2