
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}  




