doc-src/ZF/logics-ZF.tex
changeset 42511 bf89455ccf9d
parent 26913 67040326ab7a
child 42622 61a99eb5eb9d
--- a/doc-src/ZF/logics-ZF.tex	Sun May 01 00:01:59 2011 +0200
+++ b/doc-src/ZF/logics-ZF.tex	Sun May 01 16:36:34 2011 +0200
@@ -1,6 +1,6 @@
 %% $Id$
 \documentclass[11pt,a4paper]{report}
-\usepackage{../isabelle,../isabellesym}
+\usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym}
 \usepackage{graphicx,logics,../ttbox,../proof,../rail,latexsym}
 
 \usepackage{../pdfsetup}