NEWS

--- a/NEWS	Fri Oct 22 18:38:59 2010 +0200
+++ b/NEWS	Mon Oct 25 08:08:08 2010 +0200
@@ -94,6 +94,8 @@
   set_ext -> set_eqI
  INCOMPATIBILITY.
 
+* Renamed lemma list: nat_number -> eval_nat_numeral
+
 * Renamed class eq and constant eq (for code generation) to class equal
 and constant equal, plus renaming of related facts and various tuning.
 INCOMPATIBILITY.