| 2010-01-25 | Christian Urban | ids *cannot* be object equalities | 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 |
| 2010-01-13 | Cezary Kaliszyk | Moved the matches_typ function outside a?d simplified it. | file | diff | annotate |