--- a/doc-src/IsarAdvanced/Classes/classes.tex Thu May 15 20:02:40 2008 +0200
+++ b/doc-src/IsarAdvanced/Classes/classes.tex Thu May 15 20:02:42 2008 +0200
@@ -6,9 +6,9 @@
\usepackage{listings}
\usepackage[refpage]{nomencl}
\usepackage{../../iman,../../extra,../../isar,../../proof}
-\usepackage{Thy/document/isabelle,Thy/document/isabellesym}
+\usepackage{../../isabelle,../../isabellesym}
\usepackage{style}
-\usepackage{Thy/document/pdfsetup}
+\usepackage{../../pdfsetup}
\renewcommand{\isasymlongleftrightarrow}{\isamath{\leftrightarrow}}
\renewcommand{\isasymdiv}{\isamath{{}^{-1}}}