Tutorial/Minimal.thy
changeset 3132 87eca760dcba
parent 2686 52e1e98edb34
child 3235 5ebd327ffb96
--- a/Tutorial/Minimal.thy	Wed Feb 29 17:14:31 2012 +0000
+++ b/Tutorial/Minimal.thy	Mon Mar 05 16:27:28 2012 +0000
@@ -7,7 +7,7 @@
 nominal_datatype lam =
   Var "name"
 | App "lam" "lam"
-| Lam x::"name" l::"lam"  bind x in l ("Lam [_]. _" [100, 100] 100)
+| Lam x::"name" l::"lam"  binds x in l ("Lam [_]. _" [100, 100] 100)