diff -r ef8a96456b3c -r 83e6a4c43d17 doc-src/System/system.tex
--- a/doc-src/System/system.tex	Thu Jul 17 17:11:34 2008 +0200
+++ b/doc-src/System/system.tex	Thu Jul 17 20:05:19 2008 +0200
@@ -9,7 +9,7 @@
 \usepackage{textcomp}
 \usepackage{supertabular}
 \let\intorig=\int  %iman.sty redefines \int
-\usepackage{graphicx,../iman,../extra,../ttbox,../../Distribution/lib/texinputs/isabelle,../../Distribution/lib/texinputs/isabellesym,../pdfsetup}
+\usepackage{graphicx,../iman,../extra,../ttbox,../isabelle,../isabellesym,../pdfsetup}
 
 \isabellestyle{it}