Nominal-General/Nominal2_Atoms.thy
2010-04-24 Christian Urban merged
2010-04-22 Christian Urban moved lemmas from FSet.thy to do with atom to Nominal2_Base, and to do with 'a::at set to Nominal2_Atoms; moved Nominal2_Eqvt.thy one up to be loaded before Nominal2_Atoms
2010-04-07 Christian Urban my final version of the paper
2010-04-07 Christian Urban added an induction principle for permutations; removed add_perm construction
2010-04-04 Christian Urban separated general nominal theory into separate folder
less more (0) tip