
diff -r c08bd0a219f8 -r e7296939fec2 src/Doc/Codegen/document/root.tex
--- a/src/Doc/Codegen/document/root.tex	Sat Jul 27 21:10:18 2013 +0200
+++ b/src/Doc/Codegen/document/root.tex	Sat Jul 27 21:21:47 2013 +0200
@@ -1,6 +1,7 @@
 
 \documentclass[12pt,a4paper,fleqn]{article}
 \usepackage{latexsym,graphicx}
+\usepackage{tikz}\usetikzlibrary{shapes}\usetikzlibrary{arrows}
 \usepackage{multirow}
 \usepackage{iman,extra,isar}
 \usepackage{isabelle,isabellesym}




