# HG changeset patch
# User webertj
# Date 1153232147 -7200
# Node ID 2517cd4b1f37bd5711c17fd2329b6ba9fc42d7c0
# Parent  54e493016486021a5c4a35f7d67feeaf051116e6
typo (theorerms) fixed

diff -r 54e493016486 -r 2517cd4b1f37 doc-src/TutorialI/Misc/document/simp.tex
--- 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