doc-src/Codegen/codegen.tex
changeset 42511 bf89455ccf9d
parent 39693 2ef15ec8e7dc
     1.1 --- a/doc-src/Codegen/codegen.tex	Sun May 01 00:01:59 2011 +0200
     1.2 +++ b/doc-src/Codegen/codegen.tex	Sun May 01 16:36:34 2011 +0200
     1.3 @@ -4,7 +4,7 @@
     1.4  \usepackage[refpage]{nomencl}
     1.5  \usepackage{multirow}
     1.6  \usepackage{../iman,../extra,../isar,../proof}
     1.7 -\usepackage{../isabelle,../isabellesym}
     1.8 +\usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym}
     1.9  \usepackage{style}
    1.10  \usepackage{../pdfsetup}
    1.11