--- a/Cookbook/title.html	Sat Jan 28 06:40:19 2017 +0000
+++ b/Cookbook/title.html	Sat Jan 28 07:17:00 2017 +0000
@@ -4,7 +4,7 @@
 <head>
   <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/">
 </head>
 
 <body style="background-image: url(Cookbook/header-back.jpg);">