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.
fixed typo
authorblanchet
Mon, 22 Jun 2015 16:56:03 +0200
changeset 60542 c5953e3a1e4f
parent 60541 4246da644cca
child 60543 ea2778854739
fixed typo
src/HOL/IMP/Compiler.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/IMP/Compiler.thy	Mon Jun 22 11:15:23 2015 +0200
+++ b/src/HOL/IMP/Compiler.thy	Mon Jun 22 16:56:03 2015 +0200
@@ -146,7 +146,7 @@
    \<Longrightarrow> P' @ P \<turnstile> (i,s,stk) \<rightarrow>* (i',s',stk')"
 by (drule exec_appendL[where P'=P']) simp
 
-text{* Split the execution of a compound program up into the excution of its
+text{* Split the execution of a compound program up into the execution of its
 parts: *}
 
 lemma exec_append_trans[intro]:
isabelle