| Tue, 28 Feb 2012 14:24:37 +0100 | Cezary Kaliszyk | Finish localizing the quotient package. | file | diff | annotate |
| Tue, 13 Dec 2011 20:10:11 +0100 | wenzelm | comment; | file | diff | annotate |
| Fri, 09 Dec 2011 14:03:17 +0100 | kuncar | maps are taken from enriched type infrastracture, rewritten lifting of constants, now we can lift even contravariant and co/contravariant types | file | diff | annotate |
| Wed, 30 Nov 2011 18:50:46 +0100 | kuncar | removed outdated comment moved back and updated (at the direct request of Christian Urban) | file | diff | annotate |
| Wed, 30 Nov 2011 11:36:46 +0100 | kuncar | removed outdated comment | file | diff | annotate |
| Tue, 29 Nov 2011 22:45:21 +0100 | wenzelm | more conventional file name; | file | diff | annotate | base |