| 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 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 |