diff -r 00f311c32444 -r 9f841f20dca6 NEWS
--- a/NEWS	Mon Feb 08 17:12:32 2010 +0100
+++ b/NEWS	Mon Feb 08 17:12:38 2010 +0100
@@ -15,6 +15,11 @@
 * New set of rules "ac_simps" provides combined assoc / commute rewrites
 for all interpretations of the appropriate generic locales.
 
+* Renamed theory "OrderedGroup" to "Groups" and split theory "Ring_and_Field"
+into theories "Rings" and "Fields";  for more appropriate and more
+consistent names suitable for name prefixes within the HOL theories.
+INCOMPATIBILITY.
+
 * More consistent naming of type classes involving orderings (and lattices):
 
     lower_semilattice                   ~> semilattice_inf