src/Pure/library.ML
2006-10-11 haftmann 2006-10-11 abandoned findrep
2006-10-10 haftmann 2006-10-10 gen_rem(s) abandoned in favour of remove / subtract
2006-10-07 wenzelm 2006-10-07 added the_single;
2006-10-04 haftmann 2006-10-04 insert replacing ins ins_int ins_string
2006-09-12 wenzelm 2006-09-12 tuned eq_list;
2006-08-31 paulson 2006-08-31 Empty is better than Match
2006-08-08 haftmann 2006-08-08 abandoned equal_list in favor for eq_list
2006-07-17 webertj 2006-07-17 butlast removed (use fst o split_last instead)
2006-07-15 webertj 2006-07-15 function butlast added
2006-07-12 haftmann 2006-07-12 added chop_prefix
2006-07-11 wenzelm 2006-07-11 replaced read_radixint by read_intinf;
2006-07-04 wenzelm 2006-07-04 removed parrot comment;
2006-07-03 webertj 2006-07-03 comment added
2006-06-06 wenzelm 2006-06-06 added zip_options;
2006-05-20 wenzelm 2006-05-20 removed obsolete partition (cf. List.partition); tuned;
2006-05-16 wenzelm 2006-05-16 added divide_and_conquer combinator (by Amine Chaieb); removed remains of old option type; removed obsolete eq_opt; removed obsolete string_of_bool (use Bool.toString instead); tuned;
2006-05-09 haftmann 2006-05-09 removed superfluous eq_ord
2006-05-08 webertj 2006-05-08 string_of_option tuned
2006-05-05 webertj 2006-05-05 string_of_... functions added
2006-05-02 wenzelm 2006-05-02 sys_error: exception SYS_ERROR;
2006-04-30 wenzelm 2006-04-30 added serial_string;
2006-04-27 wenzelm 2006-04-27 renamed mapfilter to map_filter, made pervasive (again); made flat pervasive (again); added maps;
2006-04-26 wenzelm 2006-04-26 removed splitAt (superceded by chop); removed if_none (superceded by the_default);
2006-04-25 wenzelm 2006-04-25 made 'flat' pervasive (again);
2006-04-24 haftmann 2006-04-24 moved coalesce to AList, added equality predicates to library
2006-04-13 wenzelm 2006-04-13 export unflat (again);
2006-04-09 wenzelm 2006-04-09 added coalesce;
2006-03-21 wenzelm 2006-03-21 added subtract; tuned;
2006-03-14 wenzelm 2006-03-14 added singleton;
2006-03-10 haftmann 2006-03-10 renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc.
2006-02-22 haftmann 2006-02-22 abandoned merge_alists' in favour of generic AList.merge
2006-02-15 wenzelm 2006-02-15 removed distinct, renamed gen_distinct to distinct;
2006-02-11 wenzelm 2006-02-11 added chop (sane version of splitAt); added prefixes, suffixes;
2006-02-10 wenzelm 2006-02-10 tuned;
2006-02-07 wenzelm 2006-02-07 removed eq-polymorphic duplicates; renamed gen_duplicates to duplicates; added is_equal;
2006-02-03 wenzelm 2006-02-03 removed obsolete gen_ins/mem; added merge -- supercedes gen_merge_lists';
2006-01-19 wenzelm 2006-01-19 tuned setmp;
2006-01-14 wenzelm 2006-01-14 added exception ERROR, error, cat_error, sys_error, assert, deny, assert_all; added transform_failure; added prefix;
2006-01-03 haftmann 2006-01-03 rearranged burrow_split to fold_burrow to allow composition with fold_map
2005-12-27 haftmann 2005-12-27 added map_index
2005-12-22 wenzelm 2005-12-22 tuned;
2005-12-21 haftmann 2005-12-21 added eq_ord
2005-12-21 haftmann 2005-12-21 discontinued unflat in favour of burrow and burrow_split
2005-12-20 haftmann 2005-12-20 removed infix prefix, introduces burrow
2005-12-17 wenzelm 2005-12-17 added sort_distinct; removed obsolete unique_strings;
2005-12-08 wenzelm 2005-12-08 tuned;
2005-12-06 haftmann 2005-12-06 added 'dig' combinator
2005-12-02 haftmann 2005-12-02 added perhaps option combinator
2005-12-02 haftmann 2005-12-02 introduced new map2, fold
2005-11-29 wenzelm 2005-11-29 added nth_list;
2005-11-28 haftmann 2005-11-28 added (curried) fold2
2005-11-10 wenzelm 2005-11-10 curried multiply;
2005-10-31 haftmann 2005-10-31 fold_index replacing foldln
2005-10-28 haftmann 2005-10-28 cleaned up nth, nth_update, nth_map and nth_string functions
2005-10-21 haftmann 2005-10-21 abandoned rational number functions in favor of General/rat.ML
2005-10-11 wenzelm 2005-10-11 moved string_of_pid to ML-Systems;
2005-10-10 paulson 2005-10-10 small tidy-up of utility functions
2005-10-04 wenzelm 2005-10-04 minor tweaks for Poplog/ML;
2005-09-21 wenzelm 2005-09-21 tuned;
2005-09-21 haftmann 2005-09-21 removed assoc, overwrite