diff -r f1be8028a4a9 -r 75df587e1bcd Nominal/title.html--
--- a/Nominal/title.html-- Wed Mar 30 17:27:34 2016 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,19 +0,0 @@
-
-
-
-
- The Nominal Datatype Package
-
-
-
-
-
-Nominal Methods Group
-
-funded by the German Research Foundation (DFG) within the
-Emmy-Noether
-Programme
-
-
-
-