2009-03-05 ago eliminated Consts.eq_consts tuning -- this is built into tables and name spaces already;
2009-03-05 ago renamed NameSpace.base to NameSpace.base_name;
2009-01-21 ago removed Ids;
2009-01-21 ago binding is alias for Binding.T
2008-12-30 ago Temporarily avoid type errors in parse phase.
2008-12-04 ago cleaned up binding module and related code
2008-11-20 ago using name bindings
2008-08-27 ago type Properties.T;
2008-02-10 ago maintain default position;
2007-11-11 ago simplified Consts.dest;
2007-11-11 ago renamed Symtab.update_list to Symtab.cons_list;
2007-10-20 ago PrintMode.internal;
2007-10-16 ago the_abbreviation: return plain rhs only;
2007-10-15 ago renamed the_declaration to the_type;
2007-10-15 ago prefer first constant component on merge
2007-10-12 ago (intermediate quickfix)
2007-10-08 ago maintain typargs for abbrevs as well;
2007-09-30 ago maintain tags ( list);
2007-09-22 ago certify: do_expand as explicit argument, actually certify type of abstractions;
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.