src/HOL/IMP/VC.thy
changeset 45212 e87feee00a4c
parent 45015 fdac1e9880eb
child 45745 3a8bc5623410
     1.1 --- a/src/HOL/IMP/VC.thy	Wed Oct 19 23:07:48 2011 +0200
     1.2 +++ b/src/HOL/IMP/VC.thy	Thu Oct 20 09:48:00 2011 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  invariants. *}
     1.5  
     1.6  datatype acom = Askip
     1.7 -              | Aassign name aexp
     1.8 +              | Aassign vname aexp
     1.9                | Asemi   acom acom
    1.10                | Aif     bexp acom acom
    1.11                | Awhile  bexp assn acom