1.1 --- a/doc-src/IsarAdvanced/Codegen/codegen.tex	Fri Oct 10 06:45:48 2008 +0200
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/codegen.tex	Fri Oct 10 06:45:49 2008 +0200
     1.3 @@ -8,6 +8,7 @@
     1.4  \usepackage{../../iman,../../extra,../../isar,../../proof}
     1.5  \usepackage{../../isabelle,../../isabellesym}
     1.6  \usepackage{style}
     1.7 +\usepackage{tikz}
     1.8  \usepackage{../../pdfsetup}
     1.9  
    1.10  \newcommand{\isaverbatim}{\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{8pt}\fontsize{8pt}{0pt}}