src/Pure/consts.ML
2006-05-16 ago added syntax interface;
2006-05-05 ago extern_early: improved handling of undeclared constants;
2006-04-29 ago tuned;
2006-04-27 ago tuned basic list operators (flat, maps, map_filter);
2006-04-13 ago certify: ignore sort constraints of declarations (MAJOR CHANGE);
2006-04-08 ago added intern/extern/extern_early;
2006-02-17 ago constrain: assert const declaration, optional type (i.e. may delete constraints);
2006-02-12 ago added eq_consts;
2006-02-10 ago abbrevs: store in reverted orientation;
2006-02-07 ago renamed space to space_of;
2006-02-06 ago added abbreviations;
2005-11-14 ago added instance;
2005-11-10 ago uncurried Consts.typargs;
2005-11-08 ago const args: do not store variable names (unused);
2005-11-02 ago removed unused modify_typargs, map_typargs, fold_typargs;
2005-11-02 ago Polymorphic constants.