--- a/doc-src/IsarAdvanced/Functions/functions.tex Thu May 15 20:02:40 2008 +0200
+++ b/doc-src/IsarAdvanced/Functions/functions.tex Thu May 15 20:02:42 2008 +0200
@@ -6,11 +6,11 @@
\usepackage{latexsym,graphicx}
\usepackage[refpage]{nomencl}
\usepackage{../../iman,../../extra,../../isar,../../proof}
-\usepackage{Thy/document/isabelle,Thy/document/isabellesym}
+\usepackage{../../isabelle,../../isabellesym}
\usepackage{style}
\usepackage{mathpartir}
\usepackage{amsthm}
-\usepackage{Thy/document/pdfsetup}
+\usepackage{../../pdfsetup}
\newcommand{\cmd}[1]{\isacommand{#1}}