Nominal/Abs.thy
2010-04-01 Cezary Kaliszyk Let with multiple bindings.
2010-03-29 Cezary Kaliszyk Abs_gen and Abs_let simplifications.
2010-03-28 Christian Urban merged
2010-03-28 Christian Urban got rid of the aux-function on the raw level, by defining it with function on the quotient level
2010-03-27 Cezary Kaliszyk Generalize Abs_eq_iff.
2010-03-27 Cezary Kaliszyk New compose lemmas. Reverted alpha_gen sym/trans changes. Equivp for alpha_res should work now.
2010-03-27 Cezary Kaliszyk Removed some warnings.
less more (0) -30 -10 -7 tip