src/Pure/General/table.ML
2008-12-05 haftmann 2008-12-05 removed Table.extend, NameSpace.extend_table
2008-09-23 wenzelm 2008-09-23 added fold_rev; tuned dest, keys;
2008-08-07 wenzelm 2008-08-07 map_default: more explicit scope;
2008-07-09 wenzelm 2008-07-09 added get_first; tuned;
2007-11-11 wenzelm 2007-11-11 renamed update_list to cons_list; added proper update_list (based on Library.update);
2007-07-08 wenzelm 2007-07-08 replaced exception TableFun/GraphFun.DUPS by TableFun/GraphFun.DUP;
2006-10-20 haftmann 2006-10-20 abandoned foldl
2006-07-18 haftmann 2006-07-18 added Table.map_default
2006-07-13 wenzelm 2006-07-13 tuned insert_list;
2006-04-29 wenzelm 2006-04-29 added insert_list;
2006-04-27 wenzelm 2006-04-27 tuned basic list operators (flat, maps, map_filter);
2006-02-16 wenzelm 2006-02-16 removed pointless replace;
2006-02-12 wenzelm 2006-02-12 export exception SAME (for join); join: use internal modify, no option type (handle SAME/DUP instead); defined: simplified copy of lookup code, avoids allocation of option constructor; added replace, which does not change equal entries;
2006-02-06 wenzelm 2006-02-06 renamed xxx_multi to xxx_list; tuned;
2005-10-28 haftmann 2005-10-28 removed obfuscating PStrStrTab
2005-10-19 haftmann 2005-10-19 added table functor instance for pairs of strings
2005-09-29 wenzelm 2005-09-29 tuned default operation: use internal modify;
2005-09-22 haftmann 2005-09-22 added fold_map_table
2005-09-15 wenzelm 2005-09-15 TableFun/Symtab: curried lookup and update;
2005-09-01 wenzelm 2005-09-01 added curried_lookup/update operations -- in preparation of currying plain lookup/update;
2005-08-29 haftmann 2005-08-29 canonical interface for 'default'
2005-08-25 haftmann 2005-08-25 added 'default' function
2005-07-19 wenzelm 2005-07-19 Inttab.defined;
2005-07-19 wenzelm 2005-07-19 added defined;
2005-07-15 wenzelm 2005-07-15 tuned min_key, max_key;
2005-07-05 wenzelm 2005-07-05 Symtab: use fast_string_ord instead of string_ord -- affects order of Symtab.dest etc.;
2005-07-01 wenzelm 2005-07-01 low-level tuning of map, fold;
2005-06-18 wenzelm 2005-06-18 added member;
2005-06-17 wenzelm 2005-06-17 added map', fold; changed join to pass key;
2005-06-09 wenzelm 2005-06-09 added structure Inttab; tuned comments;
2005-06-02 wenzelm 2005-06-02 exists: made non-strict; added forall;
2005-05-31 wenzelm 2005-05-31 remove(_multi): generalized type;
2005-05-18 wenzelm 2005-05-18 tuned;
2005-04-17 wenzelm 2005-04-17 added delete_safe, insert, remove, remove_multi; tuned;
2005-04-07 wenzelm 2005-04-07 tuned updates, added map_entry;
2005-03-04 skalberg 2005-03-04 Removed practically all references to Library.foldr.
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-08-24 obua 2004-08-24 changes
2004-07-03 berghofe 2004-07-03 Added delete operation.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-11-24 wenzelm 2001-11-24 added join, merge_multi('); tuned extend, make, merge;
2000-05-05 wenzelm 2000-05-05 GPLed;
2000-03-30 wenzelm 2000-03-30 export update_multi;
2000-03-10 berghofe 2000-03-10 Added function min_key.
1999-07-22 wenzelm 1999-07-22 added exists;
1999-01-13 wenzelm 1999-01-13 fixed titles;
1998-10-20 wenzelm 1998-10-20 added foldl, keys;
1998-06-10 wenzelm 1998-06-10 moved table.ML to General/table.ML;