
diff -r 2d56911d7329 -r 13293a7d4a57 doc-src/Ref/syntax.tex
--- a/doc-src/Ref/syntax.tex	Fri May 07 17:50:43 1999 +0200
+++ b/doc-src/Ref/syntax.tex	Mon May 10 15:16:49 1999 +0200
@@ -93,7 +93,7 @@
 constructor \ttindex{Bound}).
 
 
-\section{Transforming parse trees to \AST{}s}\label{sec:astofpt}
+\section{Transforming parse trees to ASTs}\label{sec:astofpt}
 \index{ASTs!made from parse trees}
 \newcommand\astofpt[1]{\lbrakk#1\rbrakk}
 
@@ -181,7 +181,7 @@
 output of {\tt print_syntax} under {\tt parse_ast_translation}.
 
 
-\section{Transforming \AST{}s to terms}\label{sec:termofast}
+\section{Transforming ASTs to terms}\label{sec:termofast}
 \index{terms!made from ASTs}
 \newcommand\termofast[1]{\lbrakk#1\rbrakk}
 




