# HG changeset patch # User Christian Urban # Date 1460318253 -3600 # Node ID 882ff9b28510cf49d38e5d98640e8a5bed2fd31a # Parent c214a2dce02cc2cc08c5aac6a0e285384ebb49d9 updated 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 + +