diff -r ae516c20c5f1 -r 4dac76eb27d9 Cookbook/index.html
--- a/Cookbook/index.html	Sat Jan 28 06:40:19 2017 +0000
+++ b/Cookbook/index.html	Sat Jan 28 07:17:00 2017 +0000
@@ -5,7 +5,7 @@
     <meta content="text/html; charset=ISO-8859-1" http-equiv="content-type">
     <title>Isabelle Programming Tutorial</title>
     <link rel="stylesheet" href="nominal.css">
-    <BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">
+    <BASE HREF="http://nms.kcl.ac.uk/christian.urban/">
     <script type="text/javascript">
 
   var _gaq = _gaq || [];