--- a/thys/Paper/document/root.tex	Mon May 09 12:53:12 2016 +0100
+++ b/thys/Paper/document/root.tex	Mon May 09 15:00:28 2016 +0100
@@ -9,13 +9,10 @@
 \usepackage{pgf}
 \usetikzlibrary{positioning}
 \usepackage{pdfsetup}
-\usepackage{ot1patch}
-\usepackage{stmaryrd}
+%%\usepackage{stmaryrd}
 \usepackage{url}
 \usepackage{color}
 
-\usepackage{mathtools}
-
 \titlerunning{POSIX Lexing with Derivatives of Regular Expressions}
 
 \urlstyle{rm}
@@ -29,13 +26,11 @@
 \renewcommand{\isasymemptyset}{$\varnothing$}
 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}}
 \renewcommand{\isasymiota}{\makebox[0mm]{${}^{\prime}$}}
-%%\makebox[0mm]{$\mbox{}\mbox{$\,^\prime$}$}}
 
-\definecolor{mygrey}{rgb}{.80,.80,.80}
 \def\Brz{Brzozowski}
 \def\der{\backslash}
-\newcommand{\eps}{\varepsilon}
-\newcommand{\mts}{\eps} 
+\newtheorem{falsehood}{Falsehood}
+\newtheorem{conject}{Conjecture}
 
 \begin{document}