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}