NEWS
changeset 43816 05ab37be94ed
parent 43815 4f6e2965d821
child 43865 db18f4d0cc7d
     1.1 --- a/NEWS	Wed Jul 13 23:41:13 2011 +0200
     1.2 +++ b/NEWS	Wed Jul 13 23:49:56 2011 +0200
     1.3 @@ -60,7 +60,7 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 -* classes bot and top require underlying partial order rather than preorder:
     1.8 +* Classes bot and top require underlying partial order rather than preorder:
     1.9  uniqueness of bot and top is guaranteed.  INCOMPATIBILITY.
    1.10  
    1.11  * Archimedian_Field.thy: