
diff -r 2a0d7be998bb -r fa3715b35370 src/HOL/IMP/Small_Step.thy
--- a/src/HOL/IMP/Small_Step.thy	Wed Sep 28 10:35:56 2011 +0200
+++ b/src/HOL/IMP/Small_Step.thy	Thu Sep 29 21:42:03 2011 +0200
@@ -46,7 +46,7 @@
 
 declare small_step.intros[simp,intro]
 
-text{* So called transitivity rules. See below. *}
+text{* So-called transitivity rules. See below. *}
 
 declare step[trans] step1[trans]
 




