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}