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