Tue, 07 Feb 2006 19:56:47 +0100 | wenzelm | renamed space to space_of; | file | diff | annotate |
Mon, 06 Feb 2006 20:59:02 +0100 | wenzelm | added abbreviations; | file | diff | annotate |
Mon, 14 Nov 2005 14:37:38 +0100 | wenzelm | added instance; | file | diff | annotate |
Thu, 10 Nov 2005 20:57:16 +0100 | wenzelm | uncurried Consts.typargs; | file | diff | annotate |
Tue, 08 Nov 2005 10:43:08 +0100 | wenzelm | const args: do not store variable names (unused); | file | diff | annotate |
Wed, 02 Nov 2005 14:48:55 +0100 | wenzelm | removed unused modify_typargs, map_typargs, fold_typargs; | file | diff | annotate |
Wed, 02 Nov 2005 14:46:56 +0100 | wenzelm | Polymorphic constants. | file | diff | annotate |