| 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 |
| Thu, 10 Dec 2009 16:56:03 +0100 | Christian Urban | added maps-printout and tuned some comments | file | diff | annotate |
| Wed, 09 Dec 2009 17:05:33 +0100 | Cezary Kaliszyk | Code cleaning. | file | diff | annotate |