src/Pure/consts.ML
Mon, 06 Feb 2006 20:59:02 +0100 wenzelm added abbreviations;
Mon, 14 Nov 2005 14:37:38 +0100 wenzelm added instance;
Thu, 10 Nov 2005 20:57:16 +0100 wenzelm uncurried Consts.typargs;
Tue, 08 Nov 2005 10:43:08 +0100 wenzelm const args: do not store variable names (unused);
Wed, 02 Nov 2005 14:48:55 +0100 wenzelm removed unused modify_typargs, map_typargs, fold_typargs;
Wed, 02 Nov 2005 14:46:56 +0100 wenzelm Polymorphic constants.
less more (0) tip