--- a/doc-src/TutorialI/Rules/rules.tex Fri Jan 18 17:46:17 2002 +0100
+++ b/doc-src/TutorialI/Rules/rules.tex Fri Jan 18 18:30:19 2002 +0100
@@ -1245,7 +1245,7 @@
``the greatest divisior of~$n$.''
It returns an arbitrary value unless the formula has a unique solution.
An \textbf{indefinite description} formalizes the word ``some,'' as in
-``some member of~$S$.'' It differs from a definition description in not
+``some member of~$S$.'' It differs from a definite description in not
requiring the solution to be unique: it uses the axiom of choice to pick any
solution.