# HG changeset patch
# User oheimb
# Date 864391779 -7200
# Node ID 0cdbca0a257304056b11f22335f394b1dd4c0170
# Parent  2cfb98c49c428ff553dbf76a0ee4d47e61a4eba5
new syntactic priority of lambda abstraction

diff -r 2cfb98c49c42 -r 0cdbca0a2573 doc-src/Ref/defining.tex
--- a/doc-src/Ref/defining.tex	Fri May 23 14:48:10 1997 +0200
+++ b/doc-src/Ref/defining.tex	Fri May 23 14:49:39 1997 +0200
@@ -104,7 +104,7 @@
       &$|$& $logic^{(4)}$ {\tt::} $type$ & (3) \\
       &$|$& $id$ ~~$|$~~ $var$
     ~~$|$~~ $logic^{(\infty)}$ {\tt(} $any$ {\tt,} \dots {\tt,} $any$ {\tt)} \\
-      &$|$& {\tt \%} $idts$ {\tt.} $any$ & (0) \\\\
+      &$|$& {\tt \%} $idts$ {\tt.} $any^{(3)}$ & (3) \\\\
 $idts$ &=& $idt$ ~~$|$~~ $idt^{(1)}$ $idts$ \\\\
 $idt$ &=& $id$ ~~$|$~~ {\tt(} $idt$ {\tt)} \\
     &$|$& $id$ {\tt ::} $type$ & (0) \\\\