--- a/tphols-2011/document/root.tex	Wed Jan 26 14:12:36 2011 +0000
+++ b/tphols-2011/document/root.tex	Wed Jan 26 14:13:18 2011 +0000
@@ -1,6 +1,12 @@
 \documentclass[11pt,a4paper]{article}
 \usepackage{isabelle,isabellesym}
 \usepackage{amsmath}
+\usepackage{tikz}
+\usetikzlibrary{arrows,automata,decorations,fit,calc}
+\usetikzlibrary{shapes,shapes.arrows,snakes,positioning}
+\usepgflibrary{shapes.misc} % LATEX and plain TEX and pure pgf
+\usetikzlibrary{matrix}
+
 %\usepackage[pdftex]{hyperref}
 
 % further packages required for unusual symbols (see also