1.1 --- a/doc-src/Ref/syntax.tex	Fri May 07 17:50:43 1999 +0200
     1.2 +++ b/doc-src/Ref/syntax.tex	Mon May 10 15:16:49 1999 +0200
     1.3 @@ -93,7 +93,7 @@
     1.4  constructor \ttindex{Bound}).
     1.5  
     1.6  
     1.7 -\section{Transforming parse trees to \AST{}s}\label{sec:astofpt}
     1.8 +\section{Transforming parse trees to ASTs}\label{sec:astofpt}
     1.9  \index{ASTs!made from parse trees}
    1.10  \newcommand\astofpt[1]{\lbrakk#1\rbrakk}
    1.11  
    1.12 @@ -181,7 +181,7 @@
    1.13  output of {\tt print_syntax} under {\tt parse_ast_translation}.
    1.14  
    1.15  
    1.16 -\section{Transforming \AST{}s to terms}\label{sec:termofast}
    1.17 +\section{Transforming ASTs to terms}\label{sec:termofast}
    1.18  \index{terms!made from ASTs}
    1.19  \newcommand\termofast[1]{\lbrakk#1\rbrakk}
    1.20