equal
deleted
inserted
replaced
|
1 <?xml version="1.0" encoding="utf-8"?> |
|
2 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
|
3 |
|
4 <html> |
|
5 <head> |
|
6 <title>The Nominal Datatype Package</title> |
|
7 <link rel="stylesheet" href="nominal.css"> |
|
8 </head> |
|
9 <body> |
|
10 |
|
11 <h1>Documentation</h1> |
|
12 |
|
13 Some rudimentary notes are available in |
|
14 <a href="manual/nominal_datatype_manual.ps">postscript</a> and |
|
15 in <a href="manual/nominal_datatype_manual.pdf">pdf</a>. We are |
|
16 working on better documentation - hassle us to speed up this |
|
17 process.<br><br> |
|
18 |
|
19 A somewhat highlevel description of the formalisation in the example file SOS.thy. |
|
20 [<a href="manual/SOS.pdf">pdf</a>]<br> |
|
21 |
|
22 <h1>Nominal Bibliography</h1> |
|
23 |
|
24 <A HREF="http://www.citeulike.org/group/11951" target="_top">CiteULike</A> |
|
25 collection about nominal techniques compiled by Dominic Mulligan (supersedes |
|
26 the collection below). |
|
27 <BR><BR> |
|
28 |
|
29 |
|
30 <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/NomBib/nominal.html" target="_top">Here</A> |
|
31 is a bibliography of publications related to the nominal logic work. |
|
32 |
|
33 </body> |
|
34 </html> |