doc-src/Logics/logics.tex
changeset 7457 e67eed4cd224
parent 7160 1135f3f8782c
child 7837 d4fb2d14edd4
--- a/doc-src/Logics/logics.tex	Fri Sep 03 16:10:39 1999 +0200
+++ b/doc-src/Logics/logics.tex	Fri Sep 03 16:11:03 1999 +0200
@@ -1,12 +1,6 @@
 %% $Id$
 \documentclass[12pt]{report}
-\usepackage{graphicx,a4,latexsym,../pdfsetup}
-
-\makeatletter
-\input{../proof.sty}
-\input{../iman.sty}
-\input{../extra.sty}
-\makeatother
+\usepackage{graphicx,a4,../iman,../extra,../proof,../rail,latexsym,../pdfsetup}
 
 %%%STILL NEEDS MODAL, LCF
 %%% to index derived rls:  ^\([a-zA-Z0-9][a-zA-Z0-9_]*\)        \\tdx{\1}