--- a/Nominal/LF/index.html	Sun Apr 10 20:50:57 2016 +0100
+++ b/Nominal/LF/index.html	Sun Apr 10 20:57:33 2016 +0100
@@ -4,6 +4,8 @@
 <head>
   <title>The Nominal Datatype Package</title>
   <link rel="stylesheet" href="nominal.css">
+  <BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal">
+
 </head>
 
 <body>
changeset 429	882ff9b28510
parent 413	78b2ea2053f1
child 465	4dac76eb27d9