Nominal-General/Nominal2_Supp.thy
2010-04-21 Christian Urban added a variant of the induction principle for permutations
2010-04-21 Christian Urban added an improved version of the induction principle for permutations
2010-04-19 Christian Urban tuned proofs
2010-04-16 Christian Urban some tuning of eqvt-infrastructure
2010-04-07 Christian Urban added an induction principle for permutations; removed add_perm construction
2010-04-06 Christian Urban isarfied proof about existence of a permutation list
2010-04-04 Christian Urban separated general nominal theory into separate folder
less more (0) tip