# HG changeset patch
# User zhang
# Date 1296051198 0
# Node ID 751d800fddf2707c5f589fd73ea07f40f4acc901
# Parent  a3d1868ada7dc4593cc6ee16c2fd4ea33e6b76e2
Just checkin

diff -r a3d1868ada7d -r 751d800fddf2 tphols-2011/document/root.tex
--- 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