--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Nominal/download-old.html Wed Mar 30 16:06:25 2016 +0100
@@ -0,0 +1,44 @@
+<?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>
+
+
+