| Fri, 17 Feb 2006 20:03:10 +0100 | wenzelm | constrain: assert const declaration, optional type (i.e. may delete constraints); | file | diff | annotate |
| Sun, 12 Feb 2006 21:34:21 +0100 | wenzelm | added eq_consts; | file | diff | annotate |
| 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 |