diff -r ae516c20c5f1 -r 4dac76eb27d9 Nominal/example.html
--- a/Nominal/example.html	Sat Jan 28 06:40:19 2017 +0000
+++ b/Nominal/example.html	Sat Jan 28 07:17:00 2017 +0000
@@ -294,7 +294,7 @@
     <TD ALIGN=Left>
     <B>Nominal Reasoning Techniques in Isabelle/HOL.</B>  In
       Journal of Automatic Reasoning, 2008, Vol. 40(4), 327-356.
-      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nom-tech.ps" target="_top">ps</A>].
+      [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/nom-tech.ps" target="_top">ps</A>].
     </TD>
 </TR>
 <TR><TD VALIGN=Top>[2]</TD>
@@ -303,8 +303,8 @@
     (Christian Urban and Michael Norrish) 
     Proceedings of the ACM Workshop on Mechanized Reasoning about Languages with Variable
     Binding and Names (MERLIN 2005). Tallinn, Estonia. September 2005. Pages 25-32. &copy ACM, Inc.
-    [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/merlin-05.ps" target="_top">ps</A>]
-    [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/merlin-05.pdf" target="_top">pdf</A>]
+    [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/merlin-05.ps" target="_top">ps</A>]
+    [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/merlin-05.pdf" target="_top">pdf</A>]
     </TD>
 </TR>
 <TR><TD VALIGN=Top>[3]</TD>
@@ -315,7 +315,7 @@
     International Joint Conference on Automated Deduction (IJCAR 2006). In volume 4130 of 
     Lecture Notes in Artificial Intelligence. Seattle, USA. August 2006. Pages 498-512.
     &copy <A HREF="http://link.springer.de/link/service/series/0558/" target="_top">Springer Verlag</A>
-    [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/ijcar-06.ps" target="_top">ps</A>]
+    [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/ijcar-06.ps" target="_top">ps</A>]
     </TD>
 </TR>
 
@@ -325,7 +325,7 @@
     (Stefan Berghofer and Christian Urban) 
     Proceedings of the International Workshop on Logical Frameworks and 
     Meta-Languages: Theory and Practice (LFMTP 2006). Seattle, USA. ENTCS. Pages 53-67.
-    [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lfmtp-06.ps" target="_top">ps</A>]
+    [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/lfmtp-06.ps" target="_top">ps</A>]
     </TD>
 </TR>
 
@@ -337,7 +337,7 @@
     Notes in Artificial Intelligence. Bremen, Germany. July 2007. Pages 35-50.
     &copy <A HREF="http://link.springer.de/link/service/series/0558/tocs/t4603.htm" 
     target="_top">Springer Verlag</A> 
-    [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/cade07.ps" target="_top">ps</A>]
+    [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/cade07.ps" target="_top">ps</A>]
     </TD>
 </TR>
 
@@ -347,8 +347,8 @@
     (Christian Urban, James Cheney and Stefan Berghofer) 
     In Proc. of the 23rd IEEE Symposium on Logic in Computer Science (LICS 2008), IEEE Computer Society,
     June 2008. Pages 45-56.
-    [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lics-08.pdf">pdf</A>] More
-      information <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/LF/index.html">elsewhere</A>.
+    [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/lics-08.pdf">pdf</A>] More
+      information <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/LF/index.html">elsewhere</A>.
     </TD>
 </TR>
 <TR><TD VALIGN=Top>[7]</TD>
@@ -357,7 +357,7 @@
     (Brian Huffman and Christian Urban) 
     In Proc. of the 1st Conference on Interactive Theorem Proving (ITP 2010). In volume 6172 in 
     Lecture Notes in Computer Science, Pages 35-50, 2010.
-    [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nominal-atoms.pdf">pdf</A>] 
+    [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/nominal-atoms.pdf">pdf</A>] 
     </TD>
 </TR>
 </TR>
@@ -367,7 +367,7 @@
       (Christian Urban and Cezary Kaliszyk) 
       In Proc. of the 20th European Symposium on Programming (ESOP 2011).
       In Volume 6602 of Lecture Notes in Computer Science, Pages 480-500, 2011.
-      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/esop-11.pdf">pdf</A>]
+      [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/esop-11.pdf">pdf</A>]
     </TD>
 </TR>