src/Pure/library.ML
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
2005-09-20 haftmann 2005-09-20 improved eq_fst and eq_snd, removed some deprecated stuff
2005-09-19 haftmann 2005-09-19 removed some deprecated assocation list functions
2005-09-13 wenzelm 2005-09-13 added exception EXCEPTION of exn * string;
2005-09-08 haftmann 2005-09-08 added the_list, the_default
2005-09-05 haftmann 2005-09-05 introduced binding priority 1 for linear combinators etc.
2005-08-28 haftmann 2005-08-28 added 'these', removed assoc2
2005-08-25 haftmann 2005-08-25 added ? combinator for conditional transformations
2005-08-18 wenzelm 2005-08-18 added tap;
2005-08-16 wenzelm 2005-08-16 tuned unsuffix/unprefix;
2005-08-08 nipkow 2005-08-08 fixed typo in ratadd
2005-08-07 nipkow 2005-08-07 added more rat functions
2005-08-01 wenzelm 2005-08-01 tuned dict_ord;
2005-07-19 wenzelm 2005-07-19 added has_duplicates; tuned qsort;
2005-07-18 haftmann 2005-07-18 reverted from fold_yield to fold_map
2005-07-14 wenzelm 2005-07-14 tuned;
2005-07-14 haftmann 2005-07-14 added ` combinator
2005-07-12 haftmann 2005-07-12 fold_map -> fold_yield, added transformator combinators, added selector combinator
2005-07-06 wenzelm 2005-07-06 tuned;
2005-07-06 wenzelm 2005-07-06 tuned;
2005-07-05 wenzelm 2005-07-05 tuned K;
2005-07-05 haftmann 2005-07-05 added combinatros '||>' and '||>>' and fold_map fitting nicely to ST combinator '|->'
2005-07-05 haftmann 2005-07-05 added ST combinator '|->'
2005-07-04 wenzelm 2005-07-04 added fast_string_ord;
2005-07-01 wenzelm 2005-07-01 low-level tuning of fold, fold_rev, foldl_map;
2005-06-22 wenzelm 2005-06-22 added structure Object (from Pure/General/object.ML);
2005-06-20 wenzelm 2005-06-20 added member, option_ord;
2005-06-17 wenzelm 2005-06-17 added serial numbers;
2005-06-02 wenzelm 2005-06-02 replaced foldl_string by fold_string; added forall_string; improved unsuffix/unprefix: no explode;
2005-05-31 wenzelm 2005-05-31 export filter; remove: generalized type;
2005-05-17 wenzelm 2005-05-17 removed rev_append; tuned presentation of datatype option: removed apsome, export the and if_none;
2005-05-16 paulson 2005-05-16 Use of IntInf.int instead of int in most numeric simprocs; avoids integer overflow in SML/NJ
2005-04-17 wenzelm 2005-04-17 clarified insert/remove; tuned canonical fold/fold_rev;
2005-04-16 wenzelm 2005-04-16 added gen_remove, remove; usual arrangement BasicLibrary: BASIC_LIBRARY and Library: LIBRARY;
2005-04-11 ballarin 2005-04-11 First release of interpretation commands.
2005-04-07 wenzelm 2005-04-07 invalidated former constructors None/OPTION to prevent accidental use as match-all patterns!