a4paper;

--- a/doc-src/Logics/logics.tex	Tue Oct 12 19:04:25 1999 +0200
+++ b/doc-src/Logics/logics.tex	Tue Oct 12 19:05:27 1999 +0200
@@ -1,6 +1,6 @@
 %% $Id$
-\documentclass[12pt]{report}
-\usepackage{graphicx,a4,../iman,../extra,../proof,../rail,latexsym,../pdfsetup}
+\documentclass[12pt,a4paper]{report}
+\usepackage{graphicx,../iman,../extra,../proof,../rail,latexsym,../pdfsetup}
 
 %%%STILL NEEDS MODAL, LCF
 %%% to index derived rls:  ^\([a-zA-Z0-9][a-zA-Z0-9_]*\)        \\tdx{\1}