changeset 2661 | 366190b74832 |
parent 1226 | e9c01f251f5d |
child 2933 | f842a75d9624 |
--- 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}