# HG changeset patch
# User nipkow
# Date 1287945450 -7200
# Node ID 0b3440d09ba6c8383beb7a74b4d8c09b2c9a4860
# Parent  c8a9eaaa2f5943e71101b322cb9553fc97c0c3b5
renamed nat_number

diff -r c8a9eaaa2f59 -r 0b3440d09ba6 NEWS
--- a/NEWS	Sun Oct 24 20:19:00 2010 +0200
+++ b/NEWS	Sun Oct 24 20:37:30 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.