
diff -r 3e37322465e2 -r 87eca760dcba Tutorial/Minimal.thy
--- 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)
 
 
 




