doc-src/Logics/logics.tex
changeset 2661 366190b74832
parent 1226 e9c01f251f5d
child 2933 f842a75d9624
equal deleted inserted replaced
2660:9137a3d10d57 2661:366190b74832
     1 \documentstyle[a4,12pt,proof209,iman,extra,rail]{report}
     1 \documentstyle[a4,12pt]{report}
       
     2 \makeatletter
       
     3 \input{../rail.sty}
       
     4 \input{../proof209.sty}
       
     5 \input{../iman.sty}
       
     6 \input{../extra.sty}
       
     7 \makeatother
       
     8 
     2 %% $Id$
     9 %% $Id$
     3 %%%STILL NEEDS MODAL, LCF
    10 %%%STILL NEEDS MODAL, LCF
     4 %%%\includeonly{ZF}
    11 %%%\includeonly{ZF}
     5 %%% to index derived rls:  ^\([a-zA-Z0-9][a-zA-Z0-9_]*\)        \\tdx{\1}  
    12 %%% to index derived rls:  ^\([a-zA-Z0-9][a-zA-Z0-9_]*\)        \\tdx{\1}  
     6 %%% to index rulenames:   ^ *(\([a-zA-Z0-9][a-zA-Z0-9_]*\),     \\tdx{\1}  
    13 %%% to index rulenames:   ^ *(\([a-zA-Z0-9][a-zA-Z0-9_]*\),     \\tdx{\1}