--- a/doc-src/Ref/ref.tex Fri May 02 16:21:04 1997 +0200
+++ b/doc-src/Ref/ref.tex Fri May 02 16:41:35 1997 +0200
@@ -1,7 +1,9 @@
-\documentstyle[a4,12pt]{report}
+\documentclass[12pt]{report}
+\usepackage{a4}
+
\makeatletter
\input{../rail.sty}
-\input{../proof209.sty}
+\input{../proof.sty}
\input{../iman.sty}
\input{../extra.sty}
\makeatother
@@ -38,6 +40,10 @@
\sloppy
\binperiod %%%treat . like a binary operator
+\railalias{lbrace}{\{}
+\railalias{rbrace}{\}}
+\railterm{lbrace,rbrace}
+
\begin{document}
\index{definitions|see{rewriting, meta-level}}
\index{rewriting!object-level|see{simplification}}