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.