diff -r f1be8028a4a9 -r 75df587e1bcd Nominal/documentation.html--
--- a/Nominal/documentation.html-- Wed Mar 30 17:27:34 2016 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,34 +0,0 @@
-
-
-
-
-
- The Nominal Datatype Package
-
-
-
-
-Documentation
-
-Some rudimentary notes are available in
-postscript and
-in pdf. We are
-working on better documentation - hassle us to speed up this
-process.
-
-A somewhat highlevel description of the formalisation in the example file SOS.thy.
-[pdf]
-
-Nominal Bibliography
-
-CiteULike
-collection about nominal techniques compiled by Dominic Mulligan (supersedes
-the collection below).
-
-
-
-Here
-is a bibliography of publications related to the nominal logic work.
-
-
-