# HG changeset patch
# User wenzelm
# Date 1304367568 -7200
# Node ID 41dff1b862bf8d542caf613b94a6387d1e57b1f6
# Parent  578f8091b70bef2000d479dc1b4f95c8e9f93dc1
no use of package rail;

diff -r 578f8091b70b -r 41dff1b862bf doc-src/Logics/logics.tex
--- a/doc-src/Logics/logics.tex	Mon May 02 22:06:49 2011 +0200
+++ b/doc-src/Logics/logics.tex	Mon May 02 22:19:28 2011 +0200
@@ -1,6 +1,6 @@
 %% $Id$
 \documentclass[12pt,a4paper]{report}
-\usepackage{graphicx,../iman,../extra,../ttbox,../proof,../rail,latexsym,../pdfsetup}
+\usepackage{graphicx,../iman,../extra,../ttbox,../proof,latexsym,../pdfsetup}
 
 %%%STILL NEEDS MODAL, LCF
 %%% to index derived rls:  ^\([a-zA-Z0-9][a-zA-Z0-9_]*\)        \\tdx{\1}