diff -r d2cfbddb2e15 -r d40cedf90810 logic.html
--- a/logic.html	Thu Jun 20 09:25:59 2013 -0400
+++ b/logic.html	Wed Jul 31 05:44:17 2013 +0100
@@ -135,7 +135,7 @@
 <DD><A HREF="http://wwwbroy.in.tum.de/~berghofe/index.html">Stefan Berghofer</A></DD>
 <DD><A HREF="http://www.cis.upenn.edu/~stevez/">Steve Zdancewic</A></DD>
 <DD><A HREF="http://www.cs.chalmers.se/~coquand/">Thierry Coquand</A></DD>
-<DD><A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/">Tobias Nipkow</A></DD>
+<DD><A HREF="http://www21.in.tum.de/~nipkow/">Tobias Nipkow</A></DD>
 <DD><A HREF="http://www-compsci.swan.ac.uk/~csulrich/">Ulrich Berger</A></DD>
 <DD><A HREF="http://pauillac.inria.fr/~xleroy/">Xavier Leroy</A></DD>
 </DL>
@@ -163,7 +163,7 @@
  
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Thu Jun 20 09:25:40 EDT 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Wed Jul 31 05:39:35 BST 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>