doc-src/ZF/logics-ZF.tex
changeset 7838 5aca258fedcf
parent 7457 e67eed4cd224
child 8248 d7e85fd09291
equal deleted inserted replaced
7837:d4fb2d14edd4 7838:5aca258fedcf
     1 %% $Id$
     1 %% $Id$
     2 \documentclass[12pt]{report}
     2 \documentclass[12pt,a4paper]{report}
     3 \usepackage{graphicx,a4,../iman,../extra,../proof,../rail,latexsym,../pdfsetup}
     3 \usepackage{graphicx,../iman,../extra,../proof,../rail,latexsym,../pdfsetup}
     4 
     4 
     5 %%% 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}  
     6 %%% 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}  
     7 %%% 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}  
     8 %%% to deverbify:         \\verb|\([^|]*\)|     \\ttindex{\1}  
     8 %%% to deverbify:         \\verb|\([^|]*\)|     \\ttindex{\1}