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}