1.1 --- a/doc-src/Codegen/codegen.tex	Wed Apr 01 12:19:15 2009 +0200
     1.2 +++ b/doc-src/Codegen/codegen.tex	Wed Apr 01 15:16:09 2009 +0200
     1.3 @@ -5,9 +5,6 @@
     1.4  \usepackage{../iman,../extra,../isar,../proof}
     1.5  \usepackage{../isabelle,../isabellesym}
     1.6  \usepackage{style}
     1.7 -\usepackage{pgf}
     1.8 -\usepackage{pgflibraryshapes}
     1.9 -\usepackage{tikz}
    1.10  \usepackage{../pdfsetup}
    1.11  
    1.12  \hyphenation{Isabelle}