--- 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