typo (theorerms) fixed
authorwebertj
Tue Jul 18 14:53:27 2006 +0200 (2006-07-18)
changeset 2014354e493016486
parent 20142 7f5bb7f8b9b9
child 20144 2517cd4b1f37
typo (theorerms) fixed
doc-src/TutorialI/Misc/simp.thy
     1.1 --- a/doc-src/TutorialI/Misc/simp.thy	Tue Jul 18 13:27:59 2006 +0200
     1.2 +++ b/doc-src/TutorialI/Misc/simp.thy	Tue Jul 18 14:53:27 2006 +0200
     1.3 @@ -483,7 +483,7 @@
     1.4  a theorem contains the name of the theory it comes from.
     1.5  
     1.6  Finallly, different search criteria can be combined arbitrarily. 
     1.7 -The effect is conjuctive: Find returns the theorerms that satisfy all of
     1.8 +The effect is conjuctive: Find returns the theorems that satisfy all of
     1.9  the criteria. For example,
    1.10  \begin{ttbox}
    1.11  "_ + _"  -"_ - _"  -simp: "_ * (_ + _)"  name: assoc