merged

--- a/doc-src/IsarAdvanced/Classes/Thy/Classes.thy	Thu Feb 26 15:27:18 2009 -0800
+++ b/doc-src/IsarAdvanced/Classes/Thy/Classes.thy	Fri Feb 27 09:01:05 2009 +0100
@@ -537,7 +537,7 @@
      \end{picture}
      \caption{Subclass relationship of monoids and groups:
         before and after establishing the relationship
-        @{text "group \<subseteq> monoid"};  transitive edges left out.}
+        @{text "group \<subseteq> monoid"};  transitive edges are left out.}
      \label{fig:subclass}
    \end{center}
   \end{figure}