# HG changeset patch
# User boehmes
# Date 1235724978 -3600
# Node ID b37a048c921fb35c72db336e7188c7e15f110219
# Parent  a3eebf924eebf70a10abd9a28c45b1c957e21ed3# Parent  7b850184078dbe773818bc7e4cacebe7b73f94ba
merged

diff -r a3eebf924eeb -r b37a048c921f doc-src/IsarAdvanced/Classes/Thy/Classes.thy
--- a/doc-src/IsarAdvanced/Classes/Thy/Classes.thy	Fri Feb 27 08:12:38 2009 +0100
+++ b/doc-src/IsarAdvanced/Classes/Thy/Classes.thy	Fri Feb 27 09:56:18 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}