| changeset 45114 | fa3715b35370 |
| parent 45015 | fdac1e9880eb |
| child 45218 | f115540543d8 |
--- 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]