changeset 16417 | 9bc16273c2d4 |
parent 12338 | de0f4a63baa5 |
child 26871 | 996add9defab |
--- a/doc-src/AxClass/Group/Product.thy Fri Jun 17 11:35:35 2005 +0200 +++ b/doc-src/AxClass/Group/Product.thy Fri Jun 17 16:12:49 2005 +0200 @@ -1,7 +1,7 @@ header {* Syntactic classes *} -theory Product = Main: +theory Product imports Main begin text {* \medskip\noindent There is still a feature of Isabelle's type system