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/HOLCF/ex/Dnat.thy
changeset 10835 f4745d77e620
parent 2570 24d7e8fb8261
child 12035 f2ee4b5d02f2 
--- a/src/HOLCF/ex/Dnat.thy	Tue Jan 09 15:32:27 2001 +0100
+++ b/src/HOLCF/ex/Dnat.thy	Tue Jan 09 15:36:30 2001 +0100
@@ -13,7 +13,7 @@
 constdefs
 
 iterator :: "dnat -> ('a -> 'a) -> 'a -> 'a"
-            "iterator == fix`(LAM h n f x . case n of dzero   => x
-                                                    | dsucc`m => f`(h`m`f`x))"
+            "iterator == fix$(LAM h n f x . case n of dzero   => x
+                                                    | dsucc$m => f$(h$m$f$x))"
 
 end
isabelle