# HG changeset patch
# User hoelzl
# Date 1422279613 -3600
# Node ID 86be42bb5174e0c00de98329419d4678dd55fed7
# Parent  e82c72f3b22770641accacd64306ad25cc150036
spelling error

diff -r e82c72f3b227 -r 86be42bb5174 src/HOL/IMP/Big_Step.thy
--- a/src/HOL/IMP/Big_Step.thy	Mon Jan 26 14:34:10 2015 +0100
+++ b/src/HOL/IMP/Big_Step.thy	Mon Jan 26 14:40:13 2015 +0100
@@ -6,7 +6,7 @@
 
 text {*
 The big-step semantics is a straight-forward inductive definition
-with concrete syntax. Note that the first paramenter is a tuple,
+with concrete syntax. Note that the first parameter is a tuple,
 so the syntax becomes @{text "(c,s) \<Rightarrow> s'"}.
 *}