--- a/doc-src/Functions/functions.tex	Sun May 01 00:01:59 2011 +0200
+++ b/doc-src/Functions/functions.tex	Sun May 01 16:36:34 2011 +0200
@@ -4,7 +4,7 @@
 \usepackage{latexsym,graphicx}
 \usepackage[refpage]{nomencl}
 \usepackage{../iman,../extra,../isar,../proof}
-\usepackage{../isabelle,../isabellesym}
+\usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym}
 \usepackage{style}
 \usepackage{mathpartir}
 \usepackage{amsthm}