doc-src/ZF/logics-ZF.tex
changeset 8248 d7e85fd09291
parent 7838 5aca258fedcf
child 8828 5be2d1745c61
equal deleted inserted replaced
8247:635339ef2dca 8248:d7e85fd09291
     1 %% $Id$
     1 %% $Id$
     2 \documentclass[12pt,a4paper]{report}
     2 \documentclass[11pt,a4paper]{report}
     3 \usepackage{graphicx,../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}