Nominal-General/Nominal2_Supp.thy
2010-05-04 Christian Urban some preliminary changes to the pearl-jv paper
2010-05-02 Christian Urban simplified the supp-of-finite-sets proof
2010-04-30 Christian Urban added lemmas establishing the support of finite sets of finitely supported elements
2010-04-21 Christian Urban moved some lemmas into the right places
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