doc-src/IsarRef/isar-ref.tex

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