NEWS

--- a/NEWS	Wed Feb 24 14:19:54 2010 +0100
+++ b/NEWS	Wed Feb 24 14:34:40 2010 +0100
@@ -52,6 +52,9 @@
 
 *** HOL ***
 
+* Theory "Rational" renamed to "Rat", for consistency with "Nat", "Int" etc.
+INCOMPATIBILITY.
+
 * New set of rules "ac_simps" provides combined assoc / commute rewrites
 for all interpretations of the appropriate generic locales.