--- 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"