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