Nominal-General/Nominal2_Base.thy
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