src/Pure/library.ML
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!
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-10-26 berghofe 2004-10-26 Added function merge_alists'.
2004-07-19 berghofe 2004-07-19 Added function unprefix.
2004-07-16 wenzelm 2004-07-16 int_ord = Int.compare, string_ord = String.compare;
2004-07-11 wenzelm 2004-07-11 added fold_rev: ('a -> 'b -> 'b) -> 'a list -> 'b -> 'b;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-06-18 wenzelm 2004-06-18 tuned exists_string;
2004-06-12 wenzelm 2004-06-12 added translate_string;
2004-06-05 wenzelm 2004-06-05 tuned exeption handling (capture/release);
2004-05-29 wenzelm 2004-05-29 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 berghofe 2004-05-21 - exported result datatype - added functions get_result and get_exn
2004-05-21 wenzelm 2004-05-21 added fold, product; removed transitive_closure;
2004-04-17 berghofe 2004-04-17 Fixed bug in rmod that caused an overflow exception in SML/NJ.
2004-03-19 paulson 2004-03-19 Removing the datatype declaration of "order" allows the standard General.order to be used. Thus we can use Int.compare and String.compare instead of the slower home-grown versions.
2003-07-11 berghofe 2003-07-11 Added several functions for producing random numbers.
2003-01-29 berghofe 2003-01-29 Added function rev_append.