# HG changeset patch
# User haftmann
# Date 1235721665 -3600
# Node ID 7b850184078dbe773818bc7e4cacebe7b73f94ba
# Parent  c2640140b951512f9f113b3f55854856217e9c20# Parent  258f9adfdda543dd81f79974b7b2b582f4087847
merged

diff -r 258f9adfdda5 -r 7b850184078d doc-src/IsarAdvanced/Classes/Thy/Classes.thy
--- 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}