| Wed, 22 Dec 2010 22:20:57 +0100 | haftmann | full localization with possibly multiple entries; | file | diff | annotate |
| Wed, 22 Dec 2010 21:14:57 +0100 | haftmann | tool-compliant mapper declaration | file | diff | annotate |
| Wed, 22 Dec 2010 20:57:13 +0100 | haftmann | more proof contexts; formal declaration | file | diff | annotate |
| 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 |