--- a/tphols-2011/document/root.tex	Mon Feb 07 11:12:36 2011 +0000
+++ b/tphols-2011/document/root.tex	Mon Feb 07 13:08:09 2011 +0000
@@ -47,10 +47,12 @@
 %\renewcommand{\isastyle}{\isastyleminor}
 
 {\theoremstyle{break} \newtheorem{Lem}{Lemma}}
+{\theoremstyle{break} \newtheorem{Thm}{Theorem}}
 
 \newcommand{\dfa}[1]{\hat{\delta}_{#1}}
 \newcommand{\Lang}{\mathcal{L}}
-\newcommand{\mht}{Myhill-Nerode Theorem}
+\newcommand{\re}{e}
+\newcommand{\mht}{Myhill-Nerode theorem}
 \newcommand{\qnt}[2]{{#1}//{#2}}
 \newcommand{\cls}[2]{\llbracket{#1}\rrbracket_{#2}}