| 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 09:54:43 +0100 | Cezary Kaliszyk | Generalized split_prs and split_rsp | file | diff | annotate |
| Tue, 26 Jan 2010 08:09:22 +0100 | Cezary Kaliszyk | More eqreflection/equiv cleaning. | file | diff | annotate |
| Mon, 25 Jan 2010 20:47:20 +0100 | Christian Urban | ids *cannot* be object equalities | 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 |
| Wed, 13 Jan 2010 16:46:25 +0100 | Cezary Kaliszyk | Moved the matches_typ function outside a?d simplified it. | file | diff | annotate |
| Fri, 08 Jan 2010 15:02:12 +0100 | Cezary Kaliszyk | map and rel simps for all quotients; needed when changing the relations to aggregate ones. | file | diff | annotate |