diff -r 11c3c302fa2e -r 204856ef5573 Journal/document/root.tex --- a/Journal/document/root.tex Wed Aug 17 07:43:09 2011 +0000 +++ b/Journal/document/root.tex Wed Aug 17 17:36:19 2011 +0000 @@ -43,7 +43,7 @@ \author{Chunhan Wu}\address{PLA University of Science and Technology, China} \author{Xingyuan Zhang}\sameaddress{1} \author{Christian Urban}\address{TU Munich, - Germany}%%\secondaddress{corresponding author} + Germany}\secondaddress{corresponding author} \subjclass{68Q45} \keywords{Myhill-Nerode theorem, regular expressions, Isabelle theorem prover}