--- 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