changeset 4317 | 7264fa2ff2ec |
parent 4245 | b9ce25073cc0 |
child 4395 | a2b726277050 |
--- a/doc-src/Ref/simplifier.tex Thu Nov 27 19:37:36 1997 +0100 +++ b/doc-src/Ref/simplifier.tex Thu Nov 27 19:39:02 1997 +0100 @@ -86,7 +86,7 @@ Using the simplifier effectively may take a bit of experimentation. \index{tracing!of simplification}\index{*trace_simp} The tactics can -be traced by setting \verb$trace_simp := true$. +be traced by setting \verb$trace_simp$. There is not just one global current simpset, but one associated with each theory as well. How are these simpset built up?