Nominal-General/Nominal2_Supp.thy
2010-09-03 Christian Urban moved everything out of Nominal_Supp
2010-09-03 Christian Urban got rid of Nominal_Atoms (folded into Nominal2_Base)
2010-09-03 Christian Urban cleaned a bit various thy-files in Nominal-General
2010-09-03 Christian Urban removed lemma finite_set (already in simpset)
2010-09-03 Christian Urban added supp_set lemma
2010-07-29 Christian Urban equivariance for size
2010-07-19 Christian Urban minor
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