doc-src/Sledgehammer/sledgehammer.tex

--- a/doc-src/Sledgehammer/sledgehammer.tex	Sun May 01 00:01:59 2011 +0200
+++ b/doc-src/Sledgehammer/sledgehammer.tex	Sun May 01 16:36:34 2011 +0200
@@ -10,7 +10,7 @@
 \usepackage{multicol}
 \usepackage{stmaryrd}
 %\usepackage[scaled=.85]{beramono}
-\usepackage{../isabelle,../iman,../pdfsetup}
+\usepackage{../../lib/texinputs/isabelle,../iman,../pdfsetup}
 
 %\oddsidemargin=4.6mm
 %\evensidemargin=4.6mm