changeset 24783 | 5a3e336a2e37 |
parent 24019 | 67bde7cfcf10 |
child 26480 | 544cef16045b |
--- a/src/HOL/Bali/Term.thy Sun Sep 30 16:53:08 2007 +0200 +++ b/src/HOL/Bali/Term.thy Sun Sep 30 21:55:15 2007 +0200 @@ -203,7 +203,7 @@ | Lab jump stmt ("_\<bullet> _" [ 99,66]66) --{* labeled statement; handles break *} | Comp stmt stmt ("_;; _" [ 66,65]65) - | If_ expr stmt stmt ("If'(_') _ Else _" [ 80,79,79]70) + | If' expr stmt stmt ("If'(_') _ Else _" [ 80,79,79]70) | Loop label expr stmt ("_\<bullet> While'(_') _" [ 99,80,79]70) | Jmp jump --{* break, continue, return *} | Throw expr