nominal2: File revisions

Nominal/FSet.thy

2010-04-19	Cezary Kaliszyk	sub_list definition and respects	file \| diff \| annotate
2010-04-19	Cezary Kaliszyk	Alternate list_eq and equivalence	file \| diff \| annotate
2010-04-19	Cezary Kaliszyk	Some new lemmas	file \| diff \| annotate
2010-04-19	Cezary Kaliszyk	More cleaning	file \| diff \| annotate
2010-04-19	Cezary Kaliszyk	remove more metis	file \| diff \| annotate
2010-04-19	Cezary Kaliszyk	more metis cleaning	file \| diff \| annotate
2010-04-19	Cezary Kaliszyk	Getting rid of 'metis'.	file \| diff \| annotate
2010-04-19	Cezary Kaliszyk	Remove 'defer'.	file \| diff \| annotate
2010-04-19	Cezary Kaliszyk	2 more lifted lemmas needed for second representation	file \| diff \| annotate
2010-04-15	Christian Urban	some tuning of proofs	file \| diff \| annotate
2010-04-14	Cezary Kaliszyk	merge	file \| diff \| annotate
2010-04-14	Cezary Kaliszyk	merge part: delete_rsp	file \| diff \| annotate
2010-04-14	Cezary Kaliszyk	merge part1: none_memb_nil	file \| diff \| annotate
2010-04-14	Christian Urban	added header and more tuning	file \| diff \| annotate
2010-04-14	Christian Urban	more tuning	file \| diff \| annotate
2010-04-14	Christian Urban	tuned	file \| diff \| annotate

nominal2