Nominal2 and Isabelle 2012
At the moment, Nominal2 is still alpha-ware and not part of the standard
Isabelle distribution. But assuming you have a working Isabelle 2012 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.
Nominal1 and Isabelle 2012
Nominal1 is part of the current distribution and can be installed
as explained here.
(Obsolete) Nominal2 and Isabelle 2011-1
Nominal2-2011-1.tgz (17 Feb. 2012)