# HG changeset patch
# User haftmann
# Date 1235721551 -3600
# Node ID c2640140b951512f9f113b3f55854856217e9c20
# Parent  01a87bc13415afa09d9543d1315b2ba01fa24029
fixed typo

diff -r 01a87bc13415 -r c2640140b951 doc-src/IsarAdvanced/Classes/Thy/Classes.thy
--- a/doc-src/IsarAdvanced/Classes/Thy/Classes.thy	Thu Feb 26 16:59:04 2009 +0100
+++ b/doc-src/IsarAdvanced/Classes/Thy/Classes.thy	Fri Feb 27 08:59:11 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}