doc-src/ZF/logics-ZF.tex
changeset 7457 e67eed4cd224
parent 6623 021728c71030
child 7838 5aca258fedcf
equal deleted inserted replaced
7456:de9e73baa5f8 7457:e67eed4cd224
     1 %% $Id$
     1 %% $Id$
     2 \documentclass[12pt]{report}
     2 \documentclass[12pt]{report}
     3 \usepackage{graphicx,a4,latexsym,../pdfsetup}
     3 \usepackage{graphicx,a4,../iman,../extra,../proof,../rail,latexsym,../pdfsetup}
     4 
       
     5 \makeatletter
       
     6 \input{../proof.sty}
       
     7 \input{../rail.sty}
       
     8 \input{../iman.sty}
       
     9 \input{../extra.sty}
       
    10 \makeatother
       
    11 
     4 
    12 %%% to index derived rls:  ^\([a-zA-Z0-9][a-zA-Z0-9_]*\)        \\tdx{\1}  
     5 %%% to index derived rls:  ^\([a-zA-Z0-9][a-zA-Z0-9_]*\)        \\tdx{\1}  
    13 %%% to index rulenames:   ^ *(\([a-zA-Z0-9][a-zA-Z0-9_]*\),     \\tdx{\1}  
     6 %%% to index rulenames:   ^ *(\([a-zA-Z0-9][a-zA-Z0-9_]*\),     \\tdx{\1}  
    14 %%% to index constants:   \\tt \([a-zA-Z0-9][a-zA-Z0-9_]*\)     \\cdx{\1}  
     7 %%% to index constants:   \\tt \([a-zA-Z0-9][a-zA-Z0-9_]*\)     \\cdx{\1}  
    15 %%% to deverbify:         \\verb|\([^|]*\)|     \\ttindex{\1}  
     8 %%% to deverbify:         \\verb|\([^|]*\)|     \\ttindex{\1}