diff -r 05e5d68c9627 -r f1be8028a4a9 Nominal/documentation.html--
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Nominal/documentation.html-- Wed Mar 30 17:27:34 2016 +0100
@@ -0,0 +1,34 @@
+
+
+
+
+
+ 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.
+
+
+