1.1 --- a/doc-src/TutorialI/Advanced/document/Partial.tex	Tue Apr 17 15:03:41 2001 +0200
     1.2 +++ b/doc-src/TutorialI/Advanced/document/Partial.tex	Tue Apr 17 16:54:38 2001 +0200
     1.3 @@ -29,7 +29,7 @@
     1.4  {\isachardoublequote}n\ {\isasymle}\ m\ {\isasymLongrightarrow}\ minus\ m\ n\ {\isasymequiv}\ m\ {\isacharminus}\ n{\isachardoublequote}%
     1.5  \begin{isamarkuptext}%
     1.6  The rest of this section is devoted to the question of how to define
     1.7 -partial recursive functions by other means that non-exhaustive pattern
     1.8 +partial recursive functions by other means than non-exhaustive pattern
     1.9  matching.%
    1.10  \end{isamarkuptext}%
    1.11  %