--- a/tphols-2011/document/root.tex	Sat Feb 05 13:56:50 2011 +0000
+++ b/tphols-2011/document/root.tex	Sun Feb 06 10:28:29 2011 +0000
@@ -1,6 +1,7 @@
 \documentclass[11pt,a4paper]{article}
 \usepackage{isabelle,isabellesym}
 \usepackage{amsmath}
+\usepackage{amsthm}
 \usepackage{tikz}
 \usetikzlibrary{arrows,automata,decorations,fit,calc}
 \usetikzlibrary{shapes,shapes.arrows,snakes,positioning}
@@ -26,7 +27,7 @@
   %for \<onesuperior>, \<onequarter>, \<twosuperior>, \<onehalf>,
   %\<threesuperior>, \<threequarters>, \<degree>
 
-%\usepackage[only,bigsqcap]{stmaryrd}
+\usepackage{stmaryrd}
   %for \<Sqinter>
 
 %\usepackage{eufrak}
@@ -45,6 +46,13 @@
 % for uniform font size
 %\renewcommand{\isastyle}{\isastyleminor}
 
+{\theoremstyle{break} \newtheorem{Lem}{Lemma}}
+
+\newcommand{\dfa}[1]{\hat{\delta}_{#1}}
+\newcommand{\Lang}{\mathcal{L}}
+\newcommand{\mht}{Myhill-Nerode Theorem}
+\newcommand{\qnt}[2]{{#1}//{#2}}
+\newcommand{\cls}[2]{\llbracket{#1}\rrbracket_{#2}}
 
 \begin{document}