Wed, 22 Dec 2010 20:44:36 +0100 | haftmann | mapper is arbitrary term, not only constant; | file | diff | annotate |
Tue, 21 Dec 2010 17:52:23 +0100 | haftmann | id_const replaces mk_id | file | diff | annotate |
Tue, 21 Dec 2010 16:14:46 +0100 | haftmann | prove more algebraic version of functorial properties; retain old properties for convenience | file | diff | annotate |
Fri, 17 Dec 2010 22:00:54 +0100 | haftmann | more convenient order of type variables | file | diff | annotate |
Mon, 06 Dec 2010 09:19:10 +0100 | haftmann | replace `type_mapper` by the more adequate `type_lifting` | file | diff | annotate | base |