# HG changeset patch
# User webertj
# Date 1153227207 -7200
# Node ID 54e493016486021a5c4a35f7d67feeaf051116e6
# Parent  7f5bb7f8b9b9983895ca4ad0f287bafcad6ad869
typo (theorerms) fixed

diff -r 7f5bb7f8b9b9 -r 54e493016486 doc-src/TutorialI/Misc/simp.thy
--- a/doc-src/TutorialI/Misc/simp.thy	Tue Jul 18 13:27:59 2006 +0200
+++ b/doc-src/TutorialI/Misc/simp.thy	Tue Jul 18 14:53:27 2006 +0200
@@ -483,7 +483,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