
diff -r 2f5edb146f7e -r 1f073030b97a doc-src/TutorialI/Sets/sets.tex
--- a/doc-src/TutorialI/Sets/sets.tex	Fri Jan 18 17:46:17 2002 +0100
+++ b/doc-src/TutorialI/Sets/sets.tex	Fri Jan 18 18:30:19 2002 +0100
@@ -51,7 +51,7 @@
 \end{isabelle}
 
 Here are two of the many installed theorems concerning set
-complement.\index{complement!of a set}%
+complement.\index{complement!of a set}
 Note that it is denoted by a minus sign.
 \begin{isabelle}
 (c\ \isasymin\ -\ A)\ =\ (c\ \isasymnotin\ A)
@@ -745,7 +745,7 @@
 The \textbf{reflexive and transitive closure} of the
 relation~\isa{r} is written with a
 postfix syntax.  In ASCII we write \isa{r\isacharcircum*} and in
-X-symbol notation~\isa{r\isactrlsup *}.  It is the least solution of the
+symbol notation~\isa{r\isactrlsup *}.  It is the least solution of the
 equation
 \begin{isabelle}
 r\isactrlsup *\ =\ Id\ \isasymunion \ (r\ O\ r\isactrlsup *)




