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/download.html--
changeset 416 75df587e1bcd
parent 415 f1be8028a4a9
child 417 9f5d825580b7 
--- a/Nominal/download.html--	Wed Mar 30 17:27:34 2016 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,55 +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>
-
-<h3><IMG SRC="new.gif" ALT="" style="" align="left">Nominal2 and Isabelle 2016</h3>
-
-At the moment, Nominal2 is still <B>alpha-ware</B> and not part of the standard
-Isabelle distribution. But assuming you have a working Isabelle 2016 distribution, 
-it can be easily installed. The necessary theory files for Nominal2 can be downloaded 
-from:
-
-<ul>
-<li>  
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/Nominal2-2016.tgz">Nominal2-2016.tgz</A> (19 March 2016) 
-</li>
-</ul>
-
-Unpack the tgz-file.  This will create a directory Nominal and also
-Nominal/Ex. If you change into the latter directory and load, for example,
-Lambda.thy, then you are already up and running. You can proceed 
-with this theory as if it was a "normal" theory based on Main. 
-
-
-<p>
-You can also be on the bleeding edge by downloading the 
-sources from this Mercurial 
-<A HREF="http://www21.in.tum.de/~urbanc/cgi-bin/repos.cgi/nominal2/">Repository</A>.
-
-
-<h3>Nominal1 and Isabelle 2016</h3>
-
-Nominal1 is part of the current distribution and can be installed
-as explained <A HREF="http://isabelle.in.tum.de/download.html">here</A>.
-
-
-<h3>(Obsolete) Nominal2 and older Isabelle</h3>
-
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/Nominal2-2011-1.tgz">Nominal2-2011-1.tgz</A> (17 Feb. 2012)<BR> 
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/Nominal2-2012.tgz">Nominal2-2012.tgz</A> (15 May 2012)<BR>
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/Nominal2-2013.tgz">Nominal2-2013.tgz</A> (19 February 2013)<BR>
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/Nominal2-2013-1.tgz">Nominal2-2013-1.tgz</A> (18 October 2013)<BR>
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/Nominal2-2013-2.tgz">Nominal2-2013-2.tgz</A> (15 December 2013)<BR>
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/Nominal2-2014.tgz">Nominal2-2014.tgz</A> (9 September 2014)<BR>
-<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/Nominal2-2015.tgz">Nominal2-2015.tgz</A> (9 July 2015)<BR> 
-</body>
-</html>
-
-
-
public_html