1.1 --- a/doc-src/Classes/Thy/document/Classes.tex	Sat Nov 28 18:17:10 2009 +0100
     1.2 +++ b/doc-src/Classes/Thy/document/Classes.tex	Sat Nov 28 20:03:07 2009 +0100
     1.3 @@ -1260,7 +1260,7 @@
     1.4  \hspace*{0pt}\\
     1.5  \hspace*{0pt}fun inverse{\char95}int i = IntInf.{\char126}~i;\\
     1.6  \hspace*{0pt}\\
     1.7 -\hspace*{0pt}val neutral{\char95}int :~IntInf.int = (0 :~IntInf.int)\\
     1.8 +\hspace*{0pt}val neutral{\char95}int :~IntInf.int = (0 :~IntInf.int);\\
     1.9  \hspace*{0pt}\\
    1.10  \hspace*{0pt}fun mult{\char95}int i j = IntInf.+ (i,~j);\\
    1.11  \hspace*{0pt}\\
    1.12 @@ -1285,7 +1285,7 @@
    1.13  \hspace*{0pt} ~~~else inverse A{\char95}~(pow{\char95}nat (monoid{\char95}group A{\char95}) (nat (IntInf.{\char126}~k)) x));\\
    1.14  \hspace*{0pt}\\
    1.15  \hspace*{0pt}val example :~IntInf.int =\\
    1.16 -\hspace*{0pt} ~pow{\char95}int group{\char95}int (10 :~IntInf.int) ({\char126}2 :~IntInf.int)\\
    1.17 +\hspace*{0pt} ~pow{\char95}int group{\char95}int (10 :~IntInf.int) ({\char126}2 :~IntInf.int);\\
    1.18  \hspace*{0pt}\\
    1.19  \hspace*{0pt}end;~(*struct Example*)%
    1.20  \end{isamarkuptext}%