--- a/Nominal/documentation.html-- Wed Mar 30 17:27:34 2016 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,34 +0,0 @@
-<?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>