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-1 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)
Nominal2-2016.tgz (19 March 2016)