--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/AxClass/generated/Semigroup.tex Sun May 21 01:12:00 2000 +0200
@@ -0,0 +1,10 @@
+\begin{isabelle}%
+\isacommand{theory}~Semigroup~=~Main:\isanewline
+\isanewline
+\isacommand{consts}\isanewline
+~~times~::~{"}'a~{\isasymRightarrow}~'a~{\isasymRightarrow}~'a{"}~~~~(\isakeyword{infixl}~{"}{\isasymOtimes}{"}~70)\isanewline
+\isacommand{axclass}\isanewline
+~~semigroup~<~{"}term{"}\isanewline
+~~assoc:~{"}(x~{\isasymOtimes}~y)~{\isasymOtimes}~z~=~x~{\isasymOtimes}~(y~{\isasymOtimes}~z){"}\isanewline
+\isanewline
+\isacommand{end}\end{isabelle}%