--- a/Nominal/download-old.html-- Wed Mar 30 17:27:34 2016 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,44 +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>Download</h1>
-
-Download the Nominal Isabelle snapshot provided below and
-follow the instructions in INSTALL.
-<br><br>
-
-<A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/Isabelle_07-Jan-2008.tar.gz">Isabelle Snapshot from 7. January 2008 (includes version 0.14 of the nominal datatype package)</A>
-<br><br>
-
-
-
-<A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/manual/INSTALL">INSTALL</A>
-<br><br>
-
-<img src="graphics/attention.png" alt="The Nominal Datatype" align="left">
-Beginning from version 0.13, the nominal package can be started by using
-just the command "Isabelle" and enabling the option "HOL-Nominal" in the
-ProofGeneral menu "Isabelle -> Logics". If you want that HOL-Nominal is
-your default logic, then you can add
-
-<p>
-<CENTER>
-ISABELLE_LOGIC="HOL-Nominal"
-</CENTER>
-<p>
-
-to the file $HOME/isabelle/etc/settings.
-<br><br>
-
-
-</body>
-</html>
-
-
-