author | webertj |

Tue Jul 18 14:53:27 2006 +0200 (2006-07-18) | |

changeset 20143 | 54e493016486 |

parent 20142 | 7f5bb7f8b9b9 |

child 20144 | 2517cd4b1f37 |

typo (theorerms) fixed

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