| 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 | Generalized split_prs and split_rsp | file | diff | annotate |
| 2010-01-26 | Cezary Kaliszyk | More eqreflection/equiv cleaning. | file | diff | annotate |
| 2010-01-25 | Christian Urban | ids *cannot* be object equalities | file | diff | annotate |