# HG changeset patch
# User haftmann
# Date 1223613949 -7200
# Node ID 625e44455f52884b40b4117f12cfdeac60c4fbf5
# Parent  55c003a5600a0ff243f20ed8fd517c0b35ab6f4a
using tikz pictures

diff -r 55c003a5600a -r 625e44455f52 doc-src/IsarAdvanced/Codegen/codegen.tex
--- 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}}