1.1 --- a/NEWS	Tue Sep 17 14:10:33 2013 +0200
     1.2 +++ b/NEWS	Tue Sep 17 15:18:14 2013 +0200
     1.3 @@ -303,6 +303,10 @@
     1.4  conditionally-complete lattices and inner dense linorders which have
     1.5  more than one element.  INCOMPATIBILITY.
     1.6  
     1.7 +* Introduced type classes order_top and order_bot. The old classes top 
     1.8 +and bot only contain the syntax without assumptions. 
     1.9 +INCOMPATIBILITY: Rename bot -> order_bot, top -> order_top
    1.10 +
    1.11  * Introduce type classes "no_top" and "no_bot" for orderings without
    1.12  top and bottom elements.
    1.13