1.1 --- a/doc-src/Classes/Thy/document/Classes.tex	Mon Jul 05 10:39:49 2010 +0200
     1.2 +++ b/doc-src/Classes/Thy/document/Classes.tex	Mon Jul 05 10:42:27 2010 +0200
     1.3 @@ -286,7 +286,7 @@
     1.4  %
     1.5  \isatagquote
     1.6  \isacommand{instantiation}\isamarkupfalse%
     1.7 -\ {\isacharasterisk}\ {\isacharcolon}{\isacharcolon}\ {\isacharparenleft}semigroup{\isacharcomma}\ semigroup{\isacharparenright}\ semigroup\isanewline
     1.8 +\ prod\ {\isacharcolon}{\isacharcolon}\ {\isacharparenleft}semigroup{\isacharcomma}\ semigroup{\isacharparenright}\ semigroup\isanewline
     1.9  \isakeyword{begin}\isanewline
    1.10  \isanewline
    1.11  \isacommand{definition}\isamarkupfalse%
    1.12 @@ -405,7 +405,7 @@
    1.13  \isanewline
    1.14  \isanewline
    1.15  \isacommand{instantiation}\isamarkupfalse%
    1.16 -\ {\isacharasterisk}\ {\isacharcolon}{\isacharcolon}\ {\isacharparenleft}monoidl{\isacharcomma}\ monoidl{\isacharparenright}\ monoidl\isanewline
    1.17 +\ prod\ {\isacharcolon}{\isacharcolon}\ {\isacharparenleft}monoidl{\isacharcomma}\ monoidl{\isacharparenright}\ monoidl\isanewline
    1.18  \isakeyword{begin}\isanewline
    1.19  \isanewline
    1.20  \isacommand{definition}\isamarkupfalse%
    1.21 @@ -479,7 +479,7 @@
    1.22  \isanewline
    1.23  \isanewline
    1.24  \isacommand{instantiation}\isamarkupfalse%
    1.25 -\ {\isacharasterisk}\ {\isacharcolon}{\isacharcolon}\ {\isacharparenleft}monoid{\isacharcomma}\ monoid{\isacharparenright}\ monoid\isanewline
    1.26 +\ prod\ {\isacharcolon}{\isacharcolon}\ {\isacharparenleft}monoid{\isacharcomma}\ monoid{\isacharparenright}\ monoid\isanewline
    1.27  \isakeyword{begin}\isanewline
    1.28  \isanewline
    1.29  \isacommand{instance}\isamarkupfalse%