diff -r f5ccfc4d362f -r 7e2cffe28eb5 doc-src/Ref/ref.tex
--- a/doc-src/Ref/ref.tex	Thu Mar 24 16:12:42 1994 +0100
+++ b/doc-src/Ref/ref.tex	Thu Mar 24 17:54:32 1994 +0100
@@ -1,4 +1,4 @@
-\documentstyle[a4,12pt,proof,iman,extra]{report}
+\documentstyle[a4,12pt,rail,proof,iman,extra]{report}
 %% $Id$
 %%% \includeonly{thm}
 %%% to index ids: \[\\tt \([a-zA-Z0-9][a-zA-Z0-9_'.]*\)    [\\ttindexbold{\1}
@@ -54,6 +54,6 @@
   \bibliographystyle{plain} \small\raggedright\frenchspacing
   \bibliography{atp,funprog,general,logicprog,theory}
 \endgroup
-\include{Ref/theory-syntax}
+\include{theory-syntax}
 \addcontentsline{toc}{chapter}{Index}\input{ref.ind}
 \end{document}