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-1 distribution, it can be easily installed. The necessary theory files for Nominal2 can be downloaded from:

- Nominal2-2016-1.tgz (19 April 2018)

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)