nominal2: File revisions

Nominal/Abs.thy

2010-04-01	Cezary Kaliszyk	Let with multiple bindings.	file \| diff \| annotate
2010-03-29	Cezary Kaliszyk	Abs_gen and Abs_let simplifications.	file \| diff \| annotate
2010-03-28	Christian Urban	merged	file \| diff \| annotate
2010-03-28	Christian Urban	got rid of the aux-function on the raw level, by defining it with function on the quotient level	file \| diff \| annotate
2010-03-27	Cezary Kaliszyk	Generalize Abs_eq_iff.	file \| diff \| annotate
2010-03-27	Cezary Kaliszyk	New compose lemmas. Reverted alpha_gen sym/trans changes. Equivp for alpha_res should work now.	file \| diff \| annotate
2010-03-27	Cezary Kaliszyk	Removed some warnings.	file \| diff \| annotate
2010-03-26	Cezary Kaliszyk	merge	file \| diff \| annotate
2010-03-26	Cezary Kaliszyk	Modified abs_gen_sym and abs_gen_trans so it becomes usable in the proofs.	file \| diff \| annotate
2010-03-26	Christian Urban	more on the paper	file \| diff \| annotate
2010-03-26	Christian Urban	simplification	file \| diff \| annotate
2010-03-26	Christian Urban	merged	file \| diff \| annotate
2010-03-23	Christian Urban	merged	file \| diff \| annotate
2010-03-23	Christian Urban	more on the paper	file \| diff \| annotate

nominal2