1.1 --- a/src/Provers/eqsubst.ML	Sun Jan 29 19:23:38 2006 +0100
     1.2 +++ b/src/Provers/eqsubst.ML	Sun Jan 29 19:23:40 2006 +0100
     1.3 @@ -337,6 +337,6 @@
     1.4  
     1.5  
     1.6  val setup =
     1.7 -  Method.add_method ("subst", subst_meth, "substiution with an equation");
     1.8 +  Method.add_method ("subst", subst_meth, "single-step substitution");
     1.9  
    1.10  end;