# HG changeset patch
# User paulson
# Date 839859908 -7200
# Node ID 4f77c2fd8f3dd95b4413f320b1c8a8e4d779b64c
# Parent  591b76ead155e21f854aaa7c43a67c965a40167c
Rewording: parameters->arguments!

diff -r 591b76ead155 -r 4f77c2fd8f3d doc-src/Intro/advanced.tex
--- 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)