src/Pure/library.ML
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;
2004-06-05 ago tuned exeption handling (capture/release);
2004-05-29 ago output channels and diagnostics moved to General/output.ML; added read_int etc. from term.ML; removed obsolete mtree; type rat uses exception RAT;
2004-05-21 ago - exported result datatype
2004-05-21 ago added fold, product; removed transitive_closure;
2004-04-17 ago Fixed bug in rmod that caused an overflow exception in SML/NJ.
2004-03-19 ago Removing the datatype declaration of "order" allows the standard General.order
2003-07-11 ago Added several functions for producing random numbers.
2003-01-29 ago Added function rev_append.
2002-10-07 ago take/drop -> splitAt
2002-08-08 ago transform_error: pass through Interrupt;
2002-02-20 ago removed obscure functions bump_int_list, bump_list, bump_string;
2002-01-17 ago added timeap_msg;
2001-12-08 ago export writeln_default;
2001-12-03 ago removed questionable init_gensym;
2001-11-26 ago clarified order in gen_merge_lists';
2001-11-24 ago added gen_merge_lists(') and merge_lists(');
2001-11-21 ago added tracing, tracing_fn;
2001-11-20 ago added prefixes1, suffixes1;
2001-11-11 ago added unflat;
2001-10-20 ago conditional: bool -> (unit -> unit) -> unit;
2001-10-15 ago map_nth_elem;
2001-08-31 ago Added function unique_strings.
2001-02-01 ago comment
2001-01-30 ago added foldln