Nominal/Perm.thy
2010-04-04 Christian Urban separated general nominal theory into separate folder
2010-03-27 Cezary Kaliszyk Automatically lift theorems and constants only using the new quotient types. Requires new Isabelle.
2010-03-18 Cezary Kaliszyk Update TODO.
2010-03-04 Cezary Kaliszyk Lift distinct.
2010-02-26 Cezary Kaliszyk Permutation and FV_Alpha interface change.
2010-02-25 Christian Urban merged
2010-02-25 Christian Urban moved Nominal to "toplevel"
less more (0) tip