doc-src/Logics/logics.tex

--- a/doc-src/Logics/logics.tex	Fri May 02 16:18:11 1997 +0200
+++ b/doc-src/Logics/logics.tex	Fri May 02 16:18:49 1997 +0200
@@ -1,7 +1,9 @@
-\documentstyle[a4,12pt]{report}
+\documentclass[12pt]{report}
+\usepackage{a4,latexsym}
+
 \makeatletter
 \input{../rail.sty}
-\input{../proof209.sty}
+\input{../proof.sty}
 \input{../iman.sty}
 \input{../extra.sty}
 \makeatother