doc-src/Sledgehammer/sledgehammer.tex
changeset 42511 bf89455ccf9d
parent 42446 d105b1309a8d
child 42523 08346ea46a59
     1.1 --- a/doc-src/Sledgehammer/sledgehammer.tex	Sun May 01 00:01:59 2011 +0200
     1.2 +++ b/doc-src/Sledgehammer/sledgehammer.tex	Sun May 01 16:36:34 2011 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4  \usepackage{multicol}
     1.5  \usepackage{stmaryrd}
     1.6  %\usepackage[scaled=.85]{beramono}
     1.7 -\usepackage{../isabelle,../iman,../pdfsetup}
     1.8 +\usepackage{../../lib/texinputs/isabelle,../iman,../pdfsetup}
     1.9  
    1.10  %\oddsidemargin=4.6mm
    1.11  %\evensidemargin=4.6mm