diff -r 1167c1157a5b -r 326f87427719 NEWS
--- a/NEWS	Sun Oct 21 16:43:08 2012 +0200
+++ b/NEWS	Sun Oct 21 17:04:13 2012 +0200
@@ -79,7 +79,6 @@
 written just "typedef t = A".  INCOMPATIBILITY, need to adapt theories
 accordingly.
 
-
 * Theory "Library/Multiset":
 
   - Renamed constants
@@ -145,6 +144,13 @@
 
     INCOMPATIBILITY.
 
+* HOL/Rings: renamed lemmas
+
+left_distrib ~> distrib_right
+right_distrib ~> distrib_left
+
+in class semiring.  INCOMPATIBILITY.
+
 * HOL/BNF: New (co)datatype package based on bounded natural
 functors with support for mixed, nested recursion and interesting
 non-free datatypes.