Nominal/Nominal2_Base.thy
2011-01-18 Christian Urban the function translating lambda terms to locally nameless lambda terms; still needs a stronger abs_eq_iff lemma...at the moment only proved for restrictions
2011-01-18 Christian Urban modified the renaming_perm lemmas
2011-01-17 Christian Urban moved high level code from LamTest into the main libraries.
2011-01-14 Christian Urban strengthened renaming lemmas
2011-01-10 Christian Urban a few lemmas about freshness for at and at_base
2011-01-06 Christian Urban some further lemmas for fsets
2011-01-03 Christian Urban simple cases for string rule inductions
less more (0) -10 -7 tip