# HG changeset patch
# User berghofe
# Date 1001688230 -7200
# Node ID a19bc891e4bf97120bb47989b1db4a58629cc4eb
# Parent  54e2f4c8c3cbc27c2b38763027b67b0184880810
Added TYPE to Pure grammar.

diff -r 54e2f4c8c3cb -r a19bc891e4bf doc-src/Ref/defining.tex
--- a/doc-src/Ref/defining.tex	Fri Sep 28 16:42:58 2001 +0200
+++ b/doc-src/Ref/defining.tex	Fri Sep 28 16:43:50 2001 +0200
@@ -104,7 +104,8 @@
       &$|$& $logic^{(4)}$ {\tt::} $type$ & (3) \\
       &$|$& $id$ ~~$|$~~ $longid$ ~~$|$~~ $var$
     ~~$|$~~ $logic^{(\infty)}$ {\tt(} $any$ {\tt,} \dots {\tt,} $any$ {\tt)} \\
-      &$|$& {\tt \%} $pttrns$ {\tt.} $any^{(3)}$ & (3) \\\\
+      &$|$& {\tt \%} $pttrns$ {\tt.} $any^{(3)}$ & (3) \\
+      &$|$& {\tt TYPE} {\tt(} $type$ {\tt)} \\\\
 $idts$ &=& $idt$ ~~$|$~~ $idt^{(1)}$ $idts$ \\\\
 $idt$ &=& $id$ ~~$|$~~ {\tt(} $idt$ {\tt)} \\
     &$|$& $id$ {\tt ::} $type$ & (0) \\\\