changeset 16417 | 9bc16273c2d4 |
parent 12338 | de0f4a63baa5 |
--- a/doc-src/AxClass/Group/Semigroups.thy Fri Jun 17 11:35:35 2005 +0200 +++ b/doc-src/AxClass/Group/Semigroups.thy Fri Jun 17 16:12:49 2005 +0200 @@ -1,7 +1,7 @@ header {* Semigroups *} -theory Semigroups = Main: +theory Semigroups imports Main begin text {* \medskip\noindent An axiomatic type class is simply a class of types