<?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> and
in <a href="manual/nominal_datatype_manual.pdf">pdf</a>. We are
working on better documentation - hassle us to speed up this
process.<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>