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