# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1343821755 -3600
# Node ID 59a944498542f2784ab89b794a9461210746b4bc
# Parent  7c2c8f19f83ddce67110f6f3d06b141e5b123cca
added mphil

diff -r 7c2c8f19f83d -r 59a944498542 Publications/mphil.pdf.gz
Binary file Publications/mphil.pdf.gz has changed
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>