diff -r 070f543e2560 -r d94209ad2880 pres/document/root.tex
--- a/pres/document/root.tex	Thu Feb 03 09:54:19 2011 +0000
+++ b/pres/document/root.tex	Thu Feb 03 12:00:06 2011 +0000
@@ -1,5 +1,32 @@
 \documentclass[11pt,a4paper]{article}
-\usepackage{isabelle,isabellesym}
+\usepackage{isabelle}
+\usepackage{isabellesym}
+\usepackage{amsmath}
+\usepackage{amssymb}
+\usepackage{tikz}
+\usepackage{pgf}
+\usepackage{pdfsetup}
+\usepackage{ot1patch}
+\usepackage{times}
+\usepackage{proof}
+\usepackage{stmaryrd}
+\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{subfigure}
+
+\urlstyle{rm}
+\isabellestyle{it}
+\renewcommand{\isastyleminor}{\it}%
+\renewcommand{\isastyle}{\normalsize\it}%
+
+
+\def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,}
+\renewcommand{\isasymequiv}{$\dn$}
+\renewcommand{\isasymemptyset}{$\varnothing$}
+\renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}}
 
 % further packages required for unusual symbols (see also
 % isabellesym.sty), use only when needed
@@ -36,7 +63,6 @@
 % for uniform font size
 %\renewcommand{\isastyle}{\isastyleminor}
 
-
 \begin{document}
 
 \title{ListP}