# HG changeset patch
# User wenzelm
# Date 1087298576 -7200
# Node ID 74c702167226a04a334069530d5b9ae988f7cf8e
# Parent  8aea9f96847f3286a9fdfed1dde0e32f03240094
num tokens;

diff -r 8aea9f96847f -r 74c702167226 doc-src/Ref/syntax.tex
--- a/doc-src/Ref/syntax.tex	Tue Jun 15 10:47:08 2004 +0200
+++ b/doc-src/Ref/syntax.tex	Tue Jun 15 13:22:56 2004 +0200
@@ -113,9 +113,9 @@
 mapping $\astofpt{-}$ is derived from the productions as follows:
 \begin{itemize}
 \item Name tokens: $\astofpt{t} = \Variable s$, where $t$ is an \ndx{id},
-  \ndx{var}, \ndx{tid}, \ndx{tvar}, \ndx{xnum} or \ndx{xstr} token, and $s$
-  its associated string.  Note that for {\tt xstr} this does not include the
-  quotes.
+  \ndx{var}, \ndx{tid}, \ndx{tvar}, \ndx{num}, \ndx{xnum} or \ndx{xstr} token,
+  and $s$ its associated string.  Note that for {\tt xstr} this does not
+  include the quotes.
 
 \item Copy productions:\index{productions!copy}
   $\astofpt{\ldots P \ldots} = \astofpt{P}$.  Here $\ldots$ stands for
@@ -529,7 +529,7 @@
 identifiers will become constants, bounds, frees, types or classes.  As
 \S\ref{sec:asts} describes, former parse tree heads appear in \AST{}s as
 {\tt Constant}s, while the name tokens \ndx{id}, \ndx{var}, \ndx{tid},
-\ndx{tvar}, \ndx{xnum} and \ndx{xstr} become {\tt Variable}s.  On the other
+\ndx{tvar}, \ndx{num}, \ndx{xnum} and \ndx{xstr} become {\tt Variable}s.  On the other
 hand, when \AST{}s generated from terms for printing, all constants and type
 constructors become {\tt Constant}s; see \S\ref{sec:asts}.  Thus \AST{}s may
 contain a messy mixture of {\tt Variable}s and {\tt Constant}s.  This is