doc-src/Logics/logics.tex
changeset 3287 078be5581967
parent 3131 1ffa0963e6a4
child 5165 ac83801ab294
--- a/doc-src/Logics/logics.tex	Thu May 22 10:40:08 1997 +0200
+++ b/doc-src/Logics/logics.tex	Thu May 22 10:49:33 1997 +0200
@@ -1,7 +1,8 @@
 \documentclass[12pt]{report}
-\usepackage{a4,latexsym,proof}
+\usepackage{a4,latexsym}
 
 \makeatletter
+\input{../proof.sty}
 \input{../rail.sty}
 \input{../iman.sty}
 \input{../extra.sty}