1.1 --- a/src/HOL/IMP/Small_Step.thy	Wed Sep 28 10:35:56 2011 +0200
     1.2 +++ b/src/HOL/IMP/Small_Step.thy	Thu Sep 29 21:42:03 2011 +0200
     1.3 @@ -46,7 +46,7 @@
     1.4  
     1.5  declare small_step.intros[simp,intro]
     1.6  
     1.7 -text{* So called transitivity rules. See below. *}
     1.8 +text{* So-called transitivity rules. See below. *}
     1.9  
    1.10  declare step[trans] step1[trans]
    1.11