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.
tuned text
authornipkow
Tue, 25 Oct 2011 16:09:02 +0200
changeset 45266 13b5fb92b9f5
parent 45265 521508e85c0d
child 45267 66823a0066db
tuned text
src/HOL/IMP/ASM.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/IMP/ASM.thy	Tue Oct 25 15:59:15 2011 +0200
+++ b/src/HOL/IMP/ASM.thy	Tue Oct 25 16:09:02 2011 +0200
@@ -1,8 +1,8 @@
-header "Arithmetic Stack Machine and Compilation"
+header "Stack Machine and Compilation"
 
 theory ASM imports AExp begin
 
-subsection "Arithmetic Stack Machine"
+subsection "Stack Machine"
 
 text_raw{*\begin{isaverbatimwrite}\newcommand{\ASMinstrdef}{% *}
 datatype instr = LOADI val | LOAD vname | ADD
isabelle