diff -r 7c2c8f19f83d -r 59a944498542 logic.html
--- a/logic.html	Sun Jul 08 06:04:14 2012 +0100
+++ b/logic.html	Wed Aug 01 12:49:15 2012 +0100
@@ -127,7 +127,7 @@
 <DD><A HREF="http://www.jaist.ac.jp/~vester/">Ren&eacute; Vestergaard</A></DD>
 <DD><A HREF="http://www.cs.cornell.edu/home/rc/">Robert Constable</A></DD>
 <DD><A HREF="http://www.cs.cmu.edu/~rwh/">Robert Harper</A></DD>
-<DD><A HREF="http://www.inf.st-and.ac.uk/~rd/">Roy Dyckhoff</A></DD>
+<DD><A HREF="http://www.cs.st-andrews.ac.uk/~rd/">Roy Dyckhoff</A></DD>
 <DD><A HREF="http://web.comlab.ox.ac.uk/oucl/people/samson.abramsky.html">Samson Abramsky</A></DD>
 <DD><A HREF="http://www.wv.inf.tu-dresden.de/~sh/">Steffen H&ouml;lldobler</A></DD>
 <DD><A HREF="http://www.steffen-zschaler.de/">Steffen Zschaler</A></DD>