# HG changeset patch
# User wenzelm
# Date 1236082921 -3600
# Node ID 9e245d524997e272a58958df89712ea2ac602522
# Parent  0abadde7b3fb0535c451ad54d64c0562c8786bc0
updated generated files;

diff -r 0abadde7b3fb -r 9e245d524997 doc-src/IsarAdvanced/Classes/Thy/document/Classes.tex
--- 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}