1.1 --- a/doc-src/IsarRef/isar-ref.tex	Thu May 15 18:04:16 2008 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Thu May 15 18:12:24 2008 +0200
     1.3 @@ -5,7 +5,7 @@
     1.4  \usepackage{latexsym,graphicx}
     1.5  \usepackage{../iman,../extra,../isar,../proof}
     1.6  \usepackage[nohyphen,strings]{../underscore}
     1.7 -\usepackage{Thy/document/isabelle,Thy/document/isabellesym}
     1.8 +\usepackage{../isabelle,../isabellesym}
     1.9  \usepackage{../ttbox,,../rail,../railsetup}
    1.10  \usepackage{style}
    1.11  \usepackage{../pdfsetup}