<?xml version="1.0" encoding="utf-8"?><!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"><html><head> <title>The Nominal Datatype Package</title> <link rel="stylesheet" href="nominal.css"></head><body><h1>Documentation</h1>Some rudimentary notes are available in <a href="manual/nominal_datatype_manual.ps">postscript</a> andin <a href="manual/nominal_datatype_manual.pdf">pdf</a>. We areworking on better documentation - hassle us to speed up thisprocess.<br><br>A somewhat highlevel description of the formalisation in the example file SOS.thy. [<a href="manual/SOS.pdf">pdf</a>]<br><h1>Nominal Bibliography</h1><A HREF="http://www.citeulike.org/group/11951" target="_top">CiteULike</A> collection about nominal techniques compiled by Dominic Mulligan (supersedes the collection below).<BR><BR><A HREF="http://nms.kcl.ac.uk/christian.urban/NomBib/nominal.html" target="_top">Here</A> is a bibliography of publications related to the nominal logic work. </body></html>