--- a/NEWS Thu Dec 21 13:55:15 2006 +0100
+++ b/NEWS Fri Dec 22 14:03:30 2006 +0100
@@ -710,8 +710,11 @@
* Order and lattice theory no longer based on records.
INCOMPATIBILITY.
+* Renamed lemmas least_carrier -> least_closed and
+greatest_carrier -> greatest_closed. INCOMPATIBILITY.
+
* Method algebra is now set up via an attribute. For examples see
-CRing.thy. INCOMPATIBILITY: the method is now weaker on combinations
+Ring.thy. INCOMPATIBILITY: the method is now weaker on combinations
of algebraic structures.
* Renamed `CRing.thy' to `Ring.thy'. INCOMPATIBILITY.