| Tue, 26 Jan 2010 11:13:08 +0100 | Christian Urban | tuned | file | diff | annotate |
| Tue, 26 Jan 2010 10:53:44 +0100 | Christian Urban | merged | file | diff | annotate |
| Tue, 26 Jan 2010 01:42:46 +0100 | Christian Urban | cleaning of QuotProd; a little cleaning of QuotList | file | diff | annotate |
| Tue, 26 Jan 2010 07:42:52 +0100 | Cezary Kaliszyk | more eq_reflection & other cleaning. | file | diff | annotate |
| Mon, 25 Jan 2010 20:35:42 +0100 | Christian Urban | re-inserted lemma in QuotList | file | diff | annotate |
| Mon, 25 Jan 2010 19:14:46 +0100 | Christian Urban | tuned proofs (mainly in QuotProd) | file | diff | annotate |
| Thu, 21 Jan 2010 19:52:46 +0100 | Cezary Kaliszyk | Changed fun_map and rel_map to definitions. | file | diff | annotate |