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 |