diff -r 5652018b809a -r 07b13770c4d6 doc-src/TutorialI/Sets/sets.tex
--- a/doc-src/TutorialI/Sets/sets.tex	Tue Feb 20 10:18:26 2001 +0100
+++ b/doc-src/TutorialI/Sets/sets.tex	Tue Feb 20 10:37:12 2001 +0100
@@ -374,7 +374,7 @@
 \isa{Collect},\index{*Collect (constant)}
 which occasionally appears when a goal or theorem
 is displayed.  For example, \isa{Collect\ P}  is the same term as
-\isa{\isacharbraceleft z.\ P\ x\isacharbraceright}.  The same thing can
+\isa{\isacharbraceleft x.\ P\ x\isacharbraceright}.  The same thing can
 happen with quantifiers:   \hbox{\isa{All\ P}}\index{*All (constant)}
 is 
 \isa{{\isasymforall}z.\ P\ x} and