2010-01-26 | Christian Urban | tuned | file | diff | annotate |
2010-01-26 | Christian Urban | merged | file | diff | annotate |
2010-01-26 | Christian Urban | cleaning of QuotProd; a little cleaning of QuotList | file | diff | annotate |
2010-01-26 | Cezary Kaliszyk | more eq_reflection & other cleaning. | file | diff | annotate |
2010-01-25 | Christian Urban | re-inserted lemma in QuotList | file | diff | annotate |
2010-01-25 | Christian Urban | tuned proofs (mainly in QuotProd) | file | diff | annotate |
2010-01-21 | Cezary Kaliszyk | Changed fun_map and rel_map to definitions. | file | diff | annotate |