diff -r 2335fcb96052 -r d63baacbdb16 Paper/document/root.tex
--- a/Paper/document/root.tex	Mon Feb 07 13:17:01 2011 +0000
+++ b/Paper/document/root.tex	Mon Feb 07 20:30:10 2011 +0000
@@ -22,6 +22,7 @@
 \renewcommand{\isasymemptyset}{$\varnothing$}
 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}}
 
+
 \begin{document}
 
 \title{A Formalisation of the Myhill-Nerode Theorem\\ based on Regular
@@ -45,6 +46,7 @@
 using only regular expressions. 
 \end{abstract}
 
+
 \input{session}
 
 \bibliographystyle{plain}