NEWS

--- a/NEWS	Thu Oct 02 11:33:05 2014 +0200
+++ b/NEWS	Thu Oct 02 11:33:06 2014 +0200
@@ -32,6 +32,9 @@
 
 *** HOL ***
 
+* Lemma name consolidation: divide_Numeral1 ~> divide_numeral_1
+Minor INCOMPATIBILITY.
+
 * Bootstrap of listsum as special case of abstract product over lists.
 Fact rename:
     listsum_def ~> listsum.eq_foldr