diff -r 46e16145d4bd -r 1344132160bb doc-src/Codegen/codegen.tex
--- a/doc-src/Codegen/codegen.tex	Wed Apr 01 12:19:15 2009 +0200
+++ b/doc-src/Codegen/codegen.tex	Wed Apr 01 15:16:09 2009 +0200
@@ -5,9 +5,6 @@
 \usepackage{../iman,../extra,../isar,../proof}
 \usepackage{../isabelle,../isabellesym}
 \usepackage{style}
-\usepackage{pgf}
-\usepackage{pgflibraryshapes}
-\usepackage{tikz}
 \usepackage{../pdfsetup}
 
 \hyphenation{Isabelle}