Nominal/Nominal2_FSet.thy
2010-04-30 Christian Urban generalised the fs-instance lemma (not just fsets of atoms are finitely supported, but also fsets of finitely supported elements)
2010-04-28 Christian Urban use the more general type-class at_base
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-13 Christian Urban made everything to compile
2010-04-12 Christian Urban moved equivariance of map into Nominal2_Eqvt file
2010-04-11 Christian Urban tuned
2010-04-08 Brian Huffman simplify instance proof
2010-04-04 Christian Urban separated general nominal theory into separate folder
2010-03-27 Cezary Kaliszyk Remove list_eq notation.
2010-03-27 Cezary Kaliszyk Generalize Abs_eq_iff.
2010-03-22 Cezary Kaliszyk Strong induction for Type Schemes.
2010-03-19 Cezary Kaliszyk Showed the instance: fset::(at) fs
2010-03-19 Cezary Kaliszyk The nominal infrastructure for fset. 'fs' missing, but not needed so far.
less more (0) tip