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)