diff -r c214a2dce02c -r 882ff9b28510 Nominal/LF/index.html --- 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 @@ The Nominal Datatype Package + +