diff -r ae516c20c5f1 -r 4dac76eb27d9 Nominal/LF/index.html --- 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 @@ The Nominal Datatype Package - + @@ -33,7 +33,7 @@ metatheory of extensions to LF.

Technical Report -[pdf]
+[pdf]
(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 @@ Nominal Isabelle Development

(includes all three developments discussed in the technical report) -[LF.tgz] +[LF.tgz]