| 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 |