doc-src/ZF/logics-ZF.tex

--- a/doc-src/ZF/logics-ZF.tex	Thu May 15 20:02:44 2008 +0200
+++ b/doc-src/ZF/logics-ZF.tex	Thu May 15 20:14:10 2008 +0200
@@ -1,6 +1,6 @@
 %% $Id$
 \documentclass[11pt,a4paper]{report}
-\usepackage{isabelle,isabellesym}
+\usepackage{../isabelle,../isabellesym}
 \usepackage{graphicx,logics,../ttbox,../proof,../rail,latexsym}
 
 \usepackage{../pdfsetup}