--- a/doc-src/IsarAdvanced/Classes/Thy/document/Classes.tex Tue Mar 03 12:12:38 2009 +0100
+++ b/doc-src/IsarAdvanced/Classes/Thy/document/Classes.tex Tue Mar 03 13:22:01 2009 +0100
@@ -1010,7 +1010,7 @@
\end{picture}
\caption{Subclass relationship of monoids and groups:
before and after establishing the relationship
- \isa{group\ {\isasymsubseteq}\ monoid}; transitive edges left out.}
+ \isa{group\ {\isasymsubseteq}\ monoid}; transitive edges are left out.}
\label{fig:subclass}
\end{center}
\end{figure}