NEWS
changeset 21896 9a7949815a84
parent 21879 a3efbae45735
child 21960 0574f192b78a
     1.1 --- a/NEWS	Thu Dec 21 13:55:15 2006 +0100
     1.2 +++ b/NEWS	Fri Dec 22 14:03:30 2006 +0100
     1.3 @@ -710,8 +710,11 @@
     1.4  * Order and lattice theory no longer based on records.
     1.5  INCOMPATIBILITY.
     1.6  
     1.7 +* Renamed lemmas least_carrier -> least_closed and
     1.8 +greatest_carrier -> greatest_closed.  INCOMPATIBILITY.
     1.9 +
    1.10  * Method algebra is now set up via an attribute.  For examples see
    1.11 -CRing.thy.  INCOMPATIBILITY: the method is now weaker on combinations
    1.12 +Ring.thy.  INCOMPATIBILITY: the method is now weaker on combinations
    1.13  of algebraic structures.
    1.14  
    1.15  * Renamed `CRing.thy' to `Ring.thy'.  INCOMPATIBILITY.