NEWS

--- a/NEWS	Wed Jul 13 23:41:13 2011 +0200
+++ b/NEWS	Wed Jul 13 23:49:56 2011 +0200
@@ -60,7 +60,7 @@
 
 *** HOL ***
 
-* classes bot and top require underlying partial order rather than preorder:
+* Classes bot and top require underlying partial order rather than preorder:
 uniqueness of bot and top is guaranteed.  INCOMPATIBILITY.
 
 * Archimedian_Field.thy: