
diff -r 9137a3d10d57 -r 366190b74832 doc-src/Logics/logics.tex
--- a/doc-src/Logics/logics.tex	Thu Feb 20 15:24:03 1997 +0100
+++ b/doc-src/Logics/logics.tex	Thu Feb 20 15:26:38 1997 +0100
@@ -1,4 +1,11 @@
-\documentstyle[a4,12pt,proof209,iman,extra,rail]{report}
+\documentstyle[a4,12pt]{report}
+\makeatletter
+\input{../rail.sty}
+\input{../proof209.sty}
+\input{../iman.sty}
+\input{../extra.sty}
+\makeatother
+
 %% $Id$
 %%%STILL NEEDS MODAL, LCF
 %%%\includeonly{ZF}




