Tue, 11 Jan 2011 14:12:37 +0100 | haftmann | "enriched_type" replaces less specific "type_lifting" | file | diff | annotate |
Tue, 21 Dec 2010 17:52:23 +0100 | haftmann | tuned type_lifting declarations | file | diff | annotate |
Mon, 06 Dec 2010 09:19:10 +0100 | haftmann | replace `type_mapper` by the more adequate `type_lifting` | file | diff | annotate |
Mon, 22 Nov 2010 17:46:51 +0100 | haftmann | replaced misleading Fset/fset name -- these do not stand for finite sets | file | diff | annotate | base |