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.
corrected bound/unbounded flag for nat numerals
authorhaftmann
Sat, 30 May 2009 08:16:44 +0200
changeset 31295 956592c2c701
parent 31294 79a40605efce
child 31296 ba296a58d813
corrected bound/unbounded flag for nat numerals
src/HOL/Library/Efficient_Nat.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Efficient_Nat.thy	Fri May 29 17:27:00 2009 +0200
+++ b/src/HOL/Library/Efficient_Nat.thy	Sat May 30 08:16:44 2009 +0200
@@ -317,7 +317,7 @@
 
 setup {*
   fold (Numeral.add_code @{const_name number_nat_inst.number_of_nat}
-    true false) ["SML", "OCaml", "Haskell"]
+    false true) ["SML", "OCaml", "Haskell"]
 *}
 
 text {*
isabelle