Mercurial Mercurial > hg > nominal2 / 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.
Nominal/Ex/CPS/Lt.thy
changeset 2963 8b22497c25b9
parent 2898 a95a497e1f4f
child 2984 1b39ba5db2c1 
--- a/Nominal/Ex/CPS/Lt.thy	Mon Jul 11 14:02:13 2011 +0200
+++ b/Nominal/Ex/CPS/Lt.thy	Mon Jul 11 23:42:22 2011 +0900
@@ -7,7 +7,7 @@
 
 nominal_datatype lt =
     Var name       ("_~"  [150] 149)
-  | Abs x::"name" t::"lt"  bind  x in t
+  | Abs x::"name" t::"lt"  binds  x in t
   | App lt lt         (infixl "$" 100)
 
 nominal_primrec
nominal2