--- a/doc-src/Intro/advanced.tex Thu Aug 08 16:28:37 1996 +0200
+++ b/doc-src/Intro/advanced.tex Mon Aug 12 16:25:08 1996 +0200
@@ -422,7 +422,7 @@
keyword {\tt defs} instead of {\tt rules}. {\bf Definitions} are rules of the
form $s \equiv t$, and should serve only as abbreviations. The simplest form
of a definition is $f \equiv t$, where $f$ is a constant. Isabelle also
-allows a derived form where the parameters of $f$ appear on the left:
+allows a derived form where the arguments of~$f$ appear on the left:
\begin{itemize}
\item In uncurried syntax: $f(x@1,\dots,x@n) \equiv u$ (\FOL, \ZF, \dots)
\item In curried syntax: $f~x@1~\dots~x@n \equiv u$ (\HOL, \HOLCF)