changeset 45212 | e87feee00a4c |
parent 43141 | 11fce8564415 |
child 45321 | b227989b6ee6 |
--- a/src/HOL/IMP/Com.thy Wed Oct 19 23:07:48 2011 +0200 +++ b/src/HOL/IMP/Com.thy Thu Oct 20 09:48:00 2011 +0200 @@ -4,7 +4,7 @@ datatype com = SKIP - | Assign name aexp ("_ ::= _" [1000, 61] 61) + | Assign vname aexp ("_ ::= _" [1000, 61] 61) | Semi com com ("_;/ _" [60, 61] 60) | If bexp com com ("(IF _/ THEN _/ ELSE _)" [0, 0, 61] 61) | While bexp com ("(WHILE _/ DO _)" [0, 61] 61)