diff -r 51bf5e365be9 -r 61a99eb5eb9d doc-src/ZF/logics-ZF.tex
--- a/doc-src/ZF/logics-ZF.tex	Mon May 02 17:28:45 2011 +0200
+++ b/doc-src/ZF/logics-ZF.tex	Mon May 02 17:43:06 2011 +0200
@@ -1,7 +1,7 @@
 %% $Id$
 \documentclass[11pt,a4paper]{report}
 \usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym}
-\usepackage{graphicx,logics,../ttbox,../proof,../rail,latexsym}
+\usepackage{graphicx,logics,../ttbox,../proof,latexsym}
 
 \usepackage{../pdfsetup}   
 %last package!