Mercurial Mercurial > hg > public_html / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Nominal/documentation.html
changeset 402 9e089afe5086
child 411 a430e494cb19 
--- /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 @@
+<?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://http://www.inf.kcl.ac.uk/staff/urbanc/NomBib/nominal.html" target="_top">Here</A> 
+is a bibliography of publications related to the nominal logic work. 
+
+</body>
+</html>
public_html