diff -r 3f6d96fa5901 -r 9e089afe5086 Nominal/documentation.html
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Nominal/documentation.html Wed Mar 30 16:06:25 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.
+
+
+