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)