nominal2: File revisions

Nominal/Abs.thy

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
2010-03-23	Cezary Kaliszyk	Remove compose_eqvt	file \| diff \| annotate
2010-03-22	Cezary Kaliszyk	equivp_cheat can be removed for all one-permutation examples.	file \| diff \| annotate
2010-03-20	Christian Urban	moved lemmas supp_perm_eq and exists_perm to Nominal2_Supp	file \| diff \| annotate
2010-03-20	Christian Urban	started cleaning up and introduced 3 versions of ~~gen	file \| diff \| annotate
2010-03-20	Christian Urban	moved infinite_Un into mainstream Isabelle; moved permute_boolI/E lemmas	file \| diff \| annotate
2010-03-19	Cezary Kaliszyk	Keep only one copy of infinite_Un.	file \| diff \| annotate
2010-03-19	Cezary Kaliszyk	Added a missing 'import'.	file \| diff \| annotate

nominal2