1.1 --- a/NEWS	Wed Jul 13 19:43:12 2011 +0200
     1.2 +++ b/NEWS	Wed Jul 13 23:41:13 2011 +0200
     1.3 @@ -60,6 +60,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* classes bot and top require underlying partial order rather than preorder:
     1.8 +uniqueness of bot and top is guaranteed.  INCOMPATIBILITY.
     1.9 +
    1.10  * Archimedian_Field.thy:
    1.11      floor now is defined as parameter of a separate type class floor_ceiling.
    1.12