--- a/Paper/document/root.tex	Sun Jan 30 17:24:37 2011 +0000
+++ b/Paper/document/root.tex	Mon Jan 31 12:54:31 2011 +0000
@@ -24,7 +24,8 @@
 
 \begin{document}
 
-\title{A Formalisation of the Myhill-Nerode Theorem\\ based on Regular Expressions}
+\title{A Formalisation of the Myhill-Nerode Theorem\\ based on Regular
+  Expressions (Proof Pearl)}
 \author{Chunhan Wu\inst{1} \and Xingjuan Zhang\inst{1} \and Christian Urban\inst{2}}
 \institute{PLA University, China \and TU Munich, Germany}
 \maketitle