doc-src/IsarAdvanced/Codegen/codegen.tex
changeset 26911 871cc7f11034
parent 26784 eee21d6d0a6b
child 28213 b52f9205a02d
--- a/doc-src/IsarAdvanced/Codegen/codegen.tex	Thu May 15 20:02:40 2008 +0200
+++ b/doc-src/IsarAdvanced/Codegen/codegen.tex	Thu May 15 20:02:42 2008 +0200
@@ -6,9 +6,9 @@
 \usepackage{listings}
 \usepackage[refpage]{nomencl}
 \usepackage{../../iman,../../extra,../../isar,../../proof}
-\usepackage{Thy/document/isabelle,Thy/document/isabellesym}
+\usepackage{../../isabelle,../../isabellesym}
 \usepackage{style}
-\usepackage{Thy/document/pdfsetup}
+\usepackage{../../pdfsetup}
 
 \newcommand{\cmd}[1]{\isacommand{#1}}