
diff -r cd41a57221d0 -r 1f5a94209c97 doc-src/Intro/advanced.tex
--- a/doc-src/Intro/advanced.tex	Mon May 02 12:34:56 1994 +0200
+++ b/doc-src/Intro/advanced.tex	Tue May 03 10:40:24 1994 +0200
@@ -546,7 +546,7 @@
        negate :: "signal => signal"
 \end{ttbox}
 
-\subsection{Infix and Mixfix operators}
+\subsection{Infix and mixfix operators}
 \index{infixes}\index{examples!of theories}
 
 Infix or mixfix syntax may be attached to constants.  Consider the
@@ -675,8 +675,8 @@
 \index{examples!of theories}
 \begin{ttbox}
 BoolNat = Arith +
-types   bool,nat
-arities bool,nat    :: arith
+types   bool  nat
+arities bool, nat   :: arith
 consts  Suc         :: "nat=>nat"
 \ttbreak
 rules   add0        "0 + n = n::nat"




