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;
authorwenzelm
Wed, 20 Jul 2016 20:24:21 +0200
changeset 63530 045490f55f69
parent 63529 58980a8b2faf
child 63531 847eefdca90d
tuned;
src/Sequents/LK.thy file | annotate | diff | comparison | revisions 
--- a/src/Sequents/LK.thy	Wed Jul 20 16:18:10 2016 +0200
+++ b/src/Sequents/LK.thy	Wed Jul 20 20:24:21 2016 +0200
@@ -205,7 +205,7 @@
 setup \<open>Simplifier.method_setup []\<close>
 
 
-text \<open>To create substition rules\<close>
+text \<open>To create substitution rules\<close>
 
 lemma eq_imp_subst: "\<turnstile> a = b \<Longrightarrow> $H, A(a), $G \<turnstile> $E, A(b), $F"
   by simp
isabelle