summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
raw | gz |
help

author | webertj |

Tue, 18 Jul 2006 16:15:47 +0200 | |

changeset 20144 | 2517cd4b1f37 |

parent 20143 | 54e493016486 |

child 20145 | 922b4e7b8efd |

typo (theorerms) fixed

--- 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