Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
string -> vname
authorkleing
Thu, 03 Nov 2011 18:10:13 +1100
changeset 45323 df7554ebe024
parent 45322 654cc47f6115
child 45324 4ef9220b886b
string -> vname
src/HOL/IMP/Compiler.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/IMP/Compiler.thy	Thu Nov 03 16:22:29 2011 +1100
+++ b/src/HOL/IMP/Compiler.thy	Thu Nov 03 18:10:13 2011 +1100
@@ -32,10 +32,10 @@
 subsection "Instructions and Stack Machine"
 
 datatype instr = 
-  LOADI int | 
-  LOAD string | 
+  LOADI int |
+  LOAD vname |
   ADD |
-  STORE string |
+  STORE vname |
   JMP int |
   JMPLESS int |
   JMPGE int
isabelle