1.1 --- a/doc-src/Classes/Thy/document/Classes.tex	Wed Apr 01 12:19:15 2009 +0200
     1.2 +++ b/doc-src/Classes/Thy/document/Classes.tex	Wed Apr 01 15:16:09 2009 +0200
     1.3 @@ -1191,7 +1191,7 @@
     1.4  \hspace*{0pt}\\
     1.5  \hspace*{0pt}pow{\char95}nat ::~forall a.~(Monoid a) => Nat -> a -> a;\\
     1.6  \hspace*{0pt}pow{\char95}nat Zero{\char95}nat x = neutral;\\
     1.7 -\hspace*{0pt}pow{\char95}nat (Suc n) xa = mult xa (pow{\char95}nat n xa);\\
     1.8 +\hspace*{0pt}pow{\char95}nat (Suc n) x = mult x (pow{\char95}nat n x);\\
     1.9  \hspace*{0pt}\\
    1.10  \hspace*{0pt}pow{\char95}int ::~forall a.~(Group a) => Integer -> a -> a;\\
    1.11  \hspace*{0pt}pow{\char95}int k x =\\
    1.12 @@ -1272,8 +1272,8 @@
    1.13  \hspace*{0pt} ~IntInf.int group;\\
    1.14  \hspace*{0pt}\\
    1.15  \hspace*{0pt}fun pow{\char95}nat A{\char95}~Zero{\char95}nat x = neutral (monoidl{\char95}monoid A{\char95})\\
    1.16 -\hspace*{0pt} ~| pow{\char95}nat A{\char95}~(Suc n) xa =\\
    1.17 -\hspace*{0pt} ~~~mult ((semigroup{\char95}monoidl o monoidl{\char95}monoid) A{\char95}) xa (pow{\char95}nat A{\char95}~n xa);\\
    1.18 +\hspace*{0pt} ~| pow{\char95}nat A{\char95}~(Suc n) x =\\
    1.19 +\hspace*{0pt} ~~~mult ((semigroup{\char95}monoidl o monoidl{\char95}monoid) A{\char95}) x (pow{\char95}nat A{\char95}~n x);\\
    1.20  \hspace*{0pt}\\
    1.21  \hspace*{0pt}fun pow{\char95}int A{\char95}~k x =\\
    1.22  \hspace*{0pt} ~(if IntInf.<= ((0 :~IntInf.int),~k)\\