1.1 --- a/doc-src/ZF/logics-ZF.tex	Tue Feb 15 21:02:55 2000 +0100
     1.2 +++ b/doc-src/ZF/logics-ZF.tex	Wed Feb 16 10:50:57 2000 +0100
     1.3 @@ -1,5 +1,5 @@
     1.4  %% $Id$
     1.5 -\documentclass[12pt,a4paper]{report}
     1.6 +\documentclass[11pt,a4paper]{report}
     1.7  \usepackage{graphicx,../iman,../extra,../proof,../rail,latexsym,../pdfsetup}
     1.8  
     1.9  %%% to index derived rls:  ^\([a-zA-Z0-9][a-zA-Z0-9_]*\)        \\tdx{\1}