--- a/doc-src/Ref/ref.tex Mon May 05 21:18:01 1997 +0200
+++ b/doc-src/Ref/ref.tex Tue May 06 12:50:16 1997 +0200
@@ -32,19 +32,19 @@
\makeindex
-\underscoreoff
-
\setcounter{secnumdepth}{1} \setcounter{tocdepth}{2}
\pagestyle{headings}
\sloppy
\binperiod %%%treat . like a binary operator
-\railalias{lbrace}{\{}
-\railalias{rbrace}{\}}
+\railalias{lbrace}{\ttlbrace}
+\railalias{rbrace}{\ttrbrace}
\railterm{lbrace,rbrace}
\begin{document}
+\underscoreoff
+
\index{definitions|see{rewriting, meta-level}}
\index{rewriting!object-level|see{simplification}}
\index{meta-rules|see{meta-rules}}