--- a/doc-src/TutorialI/Misc/document/simp.tex Tue Jul 18 14:53:27 2006 +0200
+++ b/doc-src/TutorialI/Misc/document/simp.tex Tue Jul 18 16:15:47 2006 +0200
@@ -735,7 +735,7 @@
a theorem contains the name of the theory it comes from.
Finallly, different search criteria can be combined arbitrarily.
-The effect is conjuctive: Find returns the theorerms that satisfy all of
+The effect is conjuctive: Find returns the theorems that satisfy all of
the criteria. For example,
\begin{ttbox}
"_ + _" -"_ - _" -simp: "_ * (_ + _)" name: assoc