--- a/doc-src/Logics/logics.tex Wed May 05 18:16:03 1999 +0200
+++ b/doc-src/Logics/logics.tex Wed May 05 18:19:03 1999 +0200
@@ -4,7 +4,6 @@
\makeatletter
\input{../proof.sty}
-\input{../rail.sty}
\input{../iman.sty}
\input{../extra.sty}
\makeatother