--- 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}