--- a/Journal/document/root.bib	Sun Nov 20 22:53:50 2011 +0000
+++ b/Journal/document/root.bib	Sat Dec 17 13:32:11 2011 +0000
@@ -59,7 +59,7 @@
   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.sourceforge.net/devel-entries/Myhill-Nerode.shtml}},
+  publisher =    {\url{http://afp.sourceforge.net/entries/Myhill-Nerode.shtml}},
   month =        Aug,
   year =         2011,
   note =         {Formal proof development},