src/Pure/library.ML
2005-12-17 ago added sort_distinct;
2005-12-08 ago tuned;
2005-12-06 ago added 'dig' combinator
2005-12-02 ago added perhaps option combinator
2005-12-02 ago introduced new map2, fold
2005-11-29 ago added nth_list;
2005-11-28 ago added (curried) fold2
2005-11-10 ago curried multiply;
2005-10-31 ago fold_index replacing foldln
2005-10-28 ago cleaned up nth, nth_update, nth_map and nth_string functions
2005-10-21 ago abandoned rational number functions in favor of General/rat.ML
2005-10-11 ago moved string_of_pid to ML-Systems;
2005-10-10 ago small tidy-up of utility functions
2005-10-04 ago minor tweaks for Poplog/ML;
2005-09-21 ago tuned;
2005-09-21 ago removed assoc, overwrite
2005-09-20 ago improved eq_fst and eq_snd, removed some deprecated stuff
2005-09-19 ago removed some deprecated assocation list functions
2005-09-13 ago added exception EXCEPTION of exn * string;
2005-09-08 ago added the_list, the_default
2005-09-05 ago introduced binding priority 1 for linear combinators etc.
2005-08-28 ago added 'these', removed assoc2
2005-08-25 ago added ? combinator for conditional transformations
2005-08-18 ago added tap;
2005-08-16 ago tuned unsuffix/unprefix;
2005-08-08 ago fixed typo in ratadd
2005-08-07 ago added more rat functions
2005-08-01 ago tuned dict_ord;
2005-07-19 ago added has_duplicates;
2005-07-18 ago reverted from fold_yield to fold_map
2005-07-14 ago tuned;
2005-07-14 ago added ` combinator
2005-07-12 ago fold_map -> fold_yield, added transformator combinators, added selector combinator
2005-07-06 ago tuned;
2005-07-06 ago tuned;
2005-07-05 ago tuned K;
2005-07-05 ago added combinatros '||>' and '||>>' and fold_map fitting nicely to ST combinator '|->'
2005-07-05 ago added ST combinator '|->'
2005-07-04 ago added fast_string_ord;
2005-07-01 ago low-level tuning of fold, fold_rev, foldl_map;
2005-06-22 ago added structure Object (from Pure/General/object.ML);
2005-06-20 ago added member, option_ord;
2005-06-17 ago added serial numbers;
2005-06-02 ago replaced foldl_string by fold_string;
2005-05-31 ago export filter;
2005-05-17 ago removed rev_append;
2005-05-16 ago Use of IntInf.int instead of int in most numeric simprocs; avoids
2005-04-17 ago clarified insert/remove;
2005-04-16 ago added gen_remove, remove;
2005-04-11 ago First release of interpretation commands.
2005-04-07 ago invalidated former constructors None/OPTION to prevent accidental use as match-all patterns!
2005-03-03 ago Move towards standard functions.
2005-02-13 ago Deleted Library.option type.
2004-10-26 ago Added function merge_alists'.
2004-07-19 ago Added function unprefix.
2004-07-16 ago int_ord = Int.compare, string_ord = String.compare;
2004-07-11 ago added fold_rev: ('a -> 'b -> 'b) -> 'a list -> 'b -> 'b;
2004-06-21 ago Merged in license change from Isabelle2004
2004-06-18 ago tuned exists_string;
2004-06-12 ago added translate_string;