| 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 |
| Fri, 08 Jan 2010 10:39:08 +0100 | Cezary Kaliszyk | Modifictaions for new_relation. | file | diff | annotate |