merged
authornipkow
Fri Oct 21 08:25:04 2011 +0200 (2011-10-21)
changeset 4522362ca94616539
parent 45221 3eadb9b6a055
parent 45222 6eab55bab82f
child 45225 7da4e22714fb
child 45238 ed2bb3b58cc4
merged
     1.1 --- a/src/HOL/IMP/ASM.thy	Thu Oct 20 22:26:02 2011 +0200
     1.2 +++ b/src/HOL/IMP/ASM.thy	Fri Oct 21 08:25:04 2011 +0200
     1.3 @@ -4,7 +4,7 @@
     1.4  
     1.5  subsection "Arithmetic Stack Machine"
     1.6  
     1.7 -datatype ainstr = LOADI val | LOAD string | ADD
     1.8 +datatype ainstr = LOADI val | LOAD vname | ADD
     1.9  
    1.10  type_synonym stack = "val list"
    1.11