2007-07-08 ago replaced exception TableFun/GraphFun.DUPS by TableFun/GraphFun.DUP;
2007-05-24 ago tuned Pure/General/name_space.ML
2007-04-02 ago exception handling
2006-12-13 ago tuned;
2006-12-12 ago abbreviate: tuned signature;
2006-12-09 ago abbreviate: always authentic, force expansion of internal abbreviations;
2006-12-07 ago tuned;
2006-12-06 ago abbreviate: improved error handling, return result;
2006-11-07 ago read_const: include type;
2006-11-05 ago added syntax_name;
2006-09-27 ago removed unused serial_of, name_of;
2006-09-21 ago serial numbers for consts;
2006-09-15 ago renamed Term.map_term_types to Term.map_types (cf. Term.fold_types);
2006-09-12 ago moved term subst functions to TermSubst;
2006-05-17 ago replaced early'' flag by inverted authentic'';
2006-05-17 ago always preserve authentic consts -- removed Syntax.mixfix_const;
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.