included rail.sty

--- a/doc-src/Logics/logics.tex	Mon Jul 11 20:03:40 1994 +0200
+++ b/doc-src/Logics/logics.tex	Tue Jul 12 09:14:04 1994 +0200
@@ -1,4 +1,4 @@
-\documentstyle[a4,12pt,proof,iman,extra]{report}
+\documentstyle[a4,12pt,proof,iman,extra,rail]{report}
 %% $Id$
 %%%STILL NEEDS MODAL, LCF
 %%%\includeonly{ZF}