diff -r a6513d0b16fc -r 13de6a49294e Journal/document/root.bib
--- a/Journal/document/root.bib	Mon Sep 05 13:44:01 2011 +0000
+++ b/Journal/document/root.bib	Mon Sep 05 14:15:32 2011 +0000
@@ -27,7 +27,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.sf.net/entries/Myhill-Nerode.shtml}},
+  publisher =    {\url{http://afp.sourceforge.net/devel-entries/Myhill-Nerode.shtml}},
   month =        Aug,
   year =         2011,
   note =         {Formal proof development},