Quot/Examples/AbsRepTest.thy
2010-01-25 Christian Urban tuned proofs (mainly in QuotProd)
2010-01-24 Christian Urban test with splits
2010-01-12 Cezary Kaliszyk Finished replacing OO by OOO
2010-01-09 Christian Urban removed obsolete equiv_relation and rnamed new_equiv_relation
2010-01-08 Cezary Kaliszyk Proved concat_empty.
2010-01-07 Cezary Kaliszyk Replacing equivp by reflp in the assumptions leads to non-provable subgoals in the gen_pre lemmas.
2010-01-07 Cezary Kaliszyk some cleaning.
less more (0) -10 -7 tip