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