NEWS

--- a/NEWS	Thu Feb 25 22:46:52 2010 +0100
+++ b/NEWS	Fri Feb 26 10:57:35 2010 +0100
@@ -54,6 +54,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.