1.1 --- a/doc-src/Ref/simplifier.tex	Thu Nov 27 19:37:36 1997 +0100
     1.2 +++ b/doc-src/Ref/simplifier.tex	Thu Nov 27 19:39:02 1997 +0100
     1.3 @@ -86,7 +86,7 @@
     1.4  
     1.5  Using the simplifier effectively may take a bit of experimentation.
     1.6  \index{tracing!of simplification}\index{*trace_simp} The tactics can
     1.7 -be traced by setting \verb$trace_simp := true$.
     1.8 +be traced by setting \verb$trace_simp$.
     1.9  
    1.10  There is not just one global current simpset, but one associated with each
    1.11  theory as well.  How are these simpset built up?