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"