
diff -r aa6357b39212 -r 871cc7f11034 doc-src/IsarAdvanced/Classes/classes.tex
--- 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}}}




