Rewording: parameters->arguments!
Mon, 12 Aug 1996 16:25:08 +0200
changeset 1904 4f77c2fd8f3d
parent 1903 591b76ead155
child 1905 81061bd61ad3
Rewording: parameters->arguments!
--- 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:
 \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)