Nominal/Nominal2_Supp.thy
2010-03-24 Cezary Kaliszyk avoiding for atom.
2010-03-22 Cezary Kaliszyk Fixed missing colon.
2010-03-20 Christian Urban proved at_set_avoiding2 which is needed for strong induction principles
2010-03-20 Christian Urban moved lemmas supp_perm_eq and exists_perm to Nominal2_Supp
2010-03-18 Christian Urban slightly more in the paper
2010-03-13 Christian Urban started supp-fv proofs (is going to work)
2010-02-25 Christian Urban moved Nominal to "toplevel"
less more (0) tip