Nominal-General/Nominal2_Base.thy
2010-05-02 Christian Urban slight tuning
2010-04-30 Christian Urban added lemmas establishing the support of finite sets of finitely supported elements
2010-04-28 Christian Urban use the more general type-class at_base
2010-04-28 Christian Urban deleted left-over code
2010-04-28 Christian Urban simpliied and moved the remaining lemmas about the atom-function to Nominal2_Base
2010-04-27 Christian Urban moved mk_atom into the library; that meant that concrete atom classes need to be in Nominal2_Base
2010-04-24 Christian Urban merged
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-21 Christian Urban tuned proofs
2010-04-21 Christian Urban moved some lemmas into the right places
2010-04-19 Christian Urban tuned proofs
2010-04-14 Christian Urban added a library for basic nominal functions; separated nominal_eqvt file
2010-04-04 Christian Urban separated general nominal theory into separate folder
less more (0) tip