Nominal/Nominal2_Base.thy
2011-03-11 Christian Urban more on the paper
2011-03-01 Christian Urban a bit more tuning
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
less more (0) -30 -10 -6 tip