| changeset 28560 | 625e44455f52 |
| parent 28447 | df77ed974a78 |
| child 28564 | 1358b1ddd915 |
--- a/doc-src/IsarAdvanced/Codegen/codegen.tex Fri Oct 10 06:45:48 2008 +0200 +++ b/doc-src/IsarAdvanced/Codegen/codegen.tex Fri Oct 10 06:45:49 2008 +0200 @@ -8,6 +8,7 @@ \usepackage{../../iman,../../extra,../../isar,../../proof} \usepackage{../../isabelle,../../isabellesym} \usepackage{style} +\usepackage{tikz} \usepackage{../../pdfsetup} \newcommand{\isaverbatim}{\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{8pt}\fontsize{8pt}{0pt}}