merged
authorboehmes
Fri, 27 Feb 2009 09:56:18 +0100
changeset 30138 b37a048c921f
parent 30137 a3eebf924eeb (current diff)
parent 30135 7b850184078d (diff)
child 30139 58388314ccc8
merged
--- 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}