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