Mercurial Mercurial > hg > public_html / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Nominal/LF/index.html
changeset 465 4dac76eb27d9
parent 429 882ff9b28510 
--- a/Nominal/LF/index.html	Sat Jan 28 06:40:19 2017 +0000
+++ b/Nominal/LF/index.html	Sat Jan 28 07:17:00 2017 +0000
@@ -4,7 +4,7 @@
 <head>
   <title>The Nominal Datatype Package</title>
   <link rel="stylesheet" href="nominal.css">
-  <BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal">
+  <BASE HREF="http://nms.kcl.ac.uk/christian.urban/Nominal">
 
 </head>
 
@@ -33,7 +33,7 @@
   metatheory of extensions to LF.<P>
 
 <b>Technical Report</b>
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/LF/techreport.pdf">[pdf]</A><BR>  
+<A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/LF/techreport.pdf">[pdf]</A><BR>  
 (This technical report contains in some sections more details of our development 
 than we presented in the LICS'08 paper, and also a new section on the
 locally nameless representation of binders and on code generation.)
@@ -41,7 +41,7 @@
 
 <b>Nominal Isabelle Development</b>
 <p> (includes all three developments discussed in the technical report)
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/LF/LF.tgz">[LF.tgz]</A>
+<A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/LF/LF.tgz">[LF.tgz]</A>
 <p>
 <hr>
 <!-- hhmts start -->
public_html