
diff -r c5f138b5fc88 -r 342983676c8f Paper/document/root.tex
--- a/Paper/document/root.tex	Fri Feb 18 15:06:06 2011 +0000
+++ b/Paper/document/root.tex	Sat Feb 19 10:23:51 2011 +0000
@@ -31,7 +31,7 @@
 
 \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}}
+\author{Chunhan Wu\inst{1} \and Xingyuan Zhang\inst{1} \and Christian Urban\inst{2}}
 \institute{PLA University of Science and Technology, China \and TU Munich, Germany}
 \maketitle
 




