Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
renamed nat_number
authornipkow
Sun, 24 Oct 2010 20:37:30 +0200
changeset 40078 0b3440d09ba6
parent 40077 c8a9eaaa2f59
child 40079 07445603208a
renamed nat_number
NEWS file | annotate | diff | comparison | revisions 
--- 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.
isabelle