diff -r 960cc8081e0a -r 7fb685883250 Cookbook/menu.html
--- a/Cookbook/menu.html	Thu Jun 16 10:15:52 2016 +0100
+++ b/Cookbook/menu.html	Thu Jun 16 10:52:43 2016 +0100
@@ -101,11 +101,11 @@
 </tr>
 
 <tr>
-<td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/activities/tphols09/idw.html" target="_top">First Isabelle Developers Workshop</a> </td>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/tphols09/idw.html" target="_top">First Isabelle Developers Workshop</a> </td>
 </tr>
 
 <tr>
-<td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/activities/idw10/idw.html" target="_top">Second Isabelle Developers Workshop</a> </td>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/idw10/idw.html" target="_top">Second Isabelle Developers Workshop</a> </td>
 </tr>
 
 </tbody>