--- a/doc-src/TutorialI/Types/document/Axioms.tex Fri May 30 17:03:37 2008 +0200
+++ b/doc-src/TutorialI/Types/document/Axioms.tex Fri May 30 17:52:10 2008 +0200
@@ -259,7 +259,7 @@
type\ variables{\isacharcolon}\isanewline
\isaindent{\ \ }{\isacharprime}a\ {\isacharcolon}{\isacharcolon}\ parord%
\end{isabelle}
-Assuming \isa{{\isacharprime}a\ {\isacharcolon}{\isacharcolon}\ parord}, the three axioms of class \isa{strord}
+Because of \isa{{\isacharprime}a\ {\isacharcolon}{\isacharcolon}\ parord}, the three axioms of class \isa{strord}
are easily proved:%
\end{isamarkuptxt}%
\isamarkuptrue%