Fri, 10 Feb 2006 02:22:24 +0100 |
wenzelm |
abbrevs: store in reverted orientation;
|
file |
diff |
annotate
|
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
|