diff -r 0929d6d08dd3 -r a52309ac4a4d NEWS
--- a/NEWS	Tue Jan 22 23:06:58 2008 +0100
+++ b/NEWS	Tue Jan 22 23:07:21 2008 +0100
@@ -25,6 +25,9 @@
 
 *** HOL ***
 
+* New class semiring_div provides basic abstract properties of semirings
+with division and modulo operations.  Subsumes former class dvd_mod.
+
 * Merged theories IntDef, Numeral and IntArith into unified theory Int.
 INCOMPATIBILITY.