diff -r f1be8028a4a9 -r 75df587e1bcd Nominal/download.html-- --- 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 @@ - - - - - The Nominal Datatype Package - - - - - -

Nominal2 and Isabelle 2016

- -At the moment, Nominal2 is still alpha-ware 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: - - - -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. - - -

-You can also be on the bleeding edge by downloading the -sources from this Mercurial -Repository. - - -

Nominal1 and Isabelle 2016

- -Nominal1 is part of the current distribution and can be installed -as explained here. - - -

(Obsolete) Nominal2 and older Isabelle

- -Nominal2-2011-1.tgz (17 Feb. 2012)
-Nominal2-2012.tgz (15 May 2012)
-Nominal2-2013.tgz (19 February 2013)
-Nominal2-2013-1.tgz (18 October 2013)
-Nominal2-2013-2.tgz (15 December 2013)
-Nominal2-2014.tgz (9 September 2014)
-Nominal2-2015.tgz (9 July 2015)
- - - - -