# HG changeset patch
# User nipkow
# Date 773997244 -7200
# Node ID afb7259aebb8898fa0f315af73625ee4d0df966a
# Parent  f4e9e7aacda7bd57319b3057ea509df21e70756b
included rail.sty

diff -r f4e9e7aacda7 -r afb7259aebb8 doc-src/Logics/logics.tex
--- 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}