diff -r ae516c20c5f1 -r 4dac76eb27d9 Nominal/documentation.html
--- a/Nominal/documentation.html	Sat Jan 28 06:40:19 2017 +0000
+++ b/Nominal/documentation.html	Sat Jan 28 07:17:00 2017 +0000
@@ -27,7 +27,7 @@
 <BR><BR>
 
 
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/NomBib/nominal.html" target="_top">Here</A> 
+<A HREF="http://nms.kcl.ac.uk/christian.urban/NomBib/nominal.html" target="_top">Here</A> 
 is a bibliography of publications related to the nominal logic work. 
 
 </body>