nominal2: File revisions

Quot/Examples/AbsRepTest.thy

2010-01-25	Christian Urban	tuned proofs (mainly in QuotProd)	file \| diff \| annotate
2010-01-24	Christian Urban	test with splits	file \| diff \| annotate
2010-01-12	Cezary Kaliszyk	Finished replacing OO by OOO	file \| diff \| annotate
2010-01-09	Christian Urban	removed obsolete equiv_relation and rnamed new_equiv_relation	file \| diff \| annotate
2010-01-08	Cezary Kaliszyk	Proved concat_empty.	file \| diff \| annotate
2010-01-07	Cezary Kaliszyk	Replacing equivp by reflp in the assumptions leads to non-provable subgoals in the gen_pre lemmas.	file \| diff \| annotate
2010-01-07	Cezary Kaliszyk	some cleaning.	file \| diff \| annotate
2010-01-07	Cezary Kaliszyk	First generalization.	file \| diff \| annotate
2010-01-07	Cezary Kaliszyk	The working proof of the special case.	file \| diff \| annotate
2010-01-07	Cezary Kaliszyk	Reduced the proof to two simple but not obvious to prove facts.	file \| diff \| annotate
2010-01-07	Cezary Kaliszyk	More cleaning and commenting AbsRepTest. Now tests work; just slow.	file \| diff \| annotate
2010-01-07	Cezary Kaliszyk	cleaning in AbsRepTest.	file \| diff \| annotate
2010-01-06	Cezary Kaliszyk	Further in the proof	file \| diff \| annotate
2010-01-05	Cezary Kaliszyk	merge	file \| diff \| annotate
2010-01-05	Cezary Kaliszyk	Trying the proof	file \| diff \| annotate

nominal2