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