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