Nominal/Nominal2_Base.thy
2011-02-28 Christian Urban split the library into a basics file; merged Nominal_Eqvt into Nominal_Base
2011-02-25 Christian Urban some slight polishing
2011-02-24 Christian Urban added a lemma about fresh_star and Abs
2011-01-27 Christian Urban the proofs with eqvt_at
2011-01-19 Christian Urban added obtain_fresh lemma; tuned Lambda.thy
2011-01-19 Christian Urban ported some of the old proofs to serve as testcases
less more (0) -10 -6 tip