# HG changeset patch
# User urbanc
# Date 1314379747 0
# Node ID 296930182fe1275160af0e6564a231da4851d70b
# Parent  28e98ede8599eeff2ae6545815a0b11dbe761981
corrected typo

diff -r 28e98ede8599 -r 296930182fe1 Journal/document/root.bib
--- a/Journal/document/root.bib	Fri Aug 26 17:23:46 2011 +0000
+++ b/Journal/document/root.bib	Fri Aug 26 17:29:07 2011 +0000
@@ -1,7 +1,7 @@
 
 @incollection{myhillnerodeafp11,
   author =       {C.~Wu and X.~Zhang and C.~Urban},
-  title =        {{A} {F}ormalisation of the {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions},
+  title =        {{T}he {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions},
   booktitle =    {The Archive of Formal Proofs},
   editor =       {G.~Klein and T.~Nipkow and L.~Paulson},
   publisher =    {\url{http://afp.sf.net/entries/Myhill-Nerode.shtml}},