1.1 --- a/doc-src/ZF/logics-ZF.tex	Tue Oct 12 19:05:27 1999 +0200
     1.2 +++ b/doc-src/ZF/logics-ZF.tex	Tue Oct 12 19:14:06 1999 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  %% $Id$
     1.5 -\documentclass[12pt]{report}
     1.6 -\usepackage{graphicx,a4,../iman,../extra,../proof,../rail,latexsym,../pdfsetup}
     1.7 +\documentclass[12pt,a4paper]{report}
     1.8 +\usepackage{graphicx,../iman,../extra,../proof,../rail,latexsym,../pdfsetup}
     1.9  
    1.10  %%% to index derived rls:  ^\([a-zA-Z0-9][a-zA-Z0-9_]*\)        \\tdx{\1}  
    1.11  %%% to index rulenames:   ^ *(\([a-zA-Z0-9][a-zA-Z0-9_]*\),     \\tdx{\1}