Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Library/EfficientNat.thy
changeset 21125 9b7d35ca1eef
parent 21113 5b76e541cc0a
child 21191 c00161fbf990 
--- a/src/HOL/Library/EfficientNat.thy	Tue Oct 31 09:29:18 2006 +0100
+++ b/src/HOL/Library/EfficientNat.thy	Tue Oct 31 14:58:12 2006 +0100
@@ -133,8 +133,8 @@
   (Haskell "0")
 
 code_const "Suc"
-  (SML "IntInf.+ (__, 1)")
-  (Haskell "!(__ + 1)")
+  (SML "IntInf.+ ((_), 1)")
+  (Haskell "!((_) + 1)")
 
 setup {*
   CodegenData.del_datatype "nat"
isabelle