src/Pure/library.ML
2010-11-26 wenzelm 2010-11-26 just one version of fold_rev2;
2010-11-20 wenzelm 2010-11-20 renamed raw "explode" function to "raw_explode" to emphasize its meaning;
2010-11-16 haftmann 2010-11-16 added forall2 predicate lifter
2010-11-12 wenzelm 2010-11-12 tuned signatures;
2010-11-03 wenzelm 2010-11-03 discontinued obsolete function sys_error and exception SYS_ERROR;
2010-10-30 wenzelm 2010-10-30 support for real valued configuration options;
2010-10-01 haftmann 2010-10-01 chop_while replace drop_while and take_while
2010-09-30 haftmann 2010-09-30 take_while, drop_while
2010-09-22 wenzelm 2010-09-22 renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
2010-07-20 wenzelm 2010-07-20 tuned;
2010-05-05 haftmann 2010-05-05 farewell to old-style mem infixes -- type inference in situations with mem_int and mem_string should provide enough information to resolve the type of (op =)
2010-03-26 wenzelm 2010-03-26 tuned white space;
2009-12-09 haftmann 2009-12-09 take and drop as projections of chop
2009-11-24 haftmann 2009-11-24 curried take/drop
2009-10-26 haftmann 2009-10-26 avoid upto if not needed
2009-10-23 haftmann 2009-10-23 merged
2009-10-22 haftmann 2009-10-22 restored accidentally deleted submultiset
2009-10-22 haftmann 2009-10-22 multiset operations with canonical argument order
2009-10-22 wenzelm 2009-10-22 made SML/NJ happy;
2009-10-22 haftmann 2009-10-22 map_range (and map_index) combinator
2009-10-21 haftmann 2009-10-21 merged
2009-10-21 haftmann 2009-10-21 curried inter as canonical list operation (beware of argument order)
2009-10-21 haftmann 2009-10-21 merged
2009-10-21 haftmann 2009-10-21 curried union as canonical list operation
2009-10-21 haftmann 2009-10-21 removed old-style \ and \\ infixes
2009-10-21 haftmann 2009-10-21 dropped redundant gen_ prefix
2009-10-20 haftmann 2009-10-20 replaced old_style infixes eq_set, subset, union, inter and variants by generic versions
2009-10-17 wenzelm 2009-10-17 tuned/moved divide_and_conquer';
2009-10-17 wenzelm 2009-10-17 indicate CRITICAL nature of various setmp combinators;
2009-09-29 wenzelm 2009-09-29 Raw ML references as unsynchronized state variables.
2009-08-10 haftmann 2009-08-10 added map_transpose
2009-07-25 wenzelm 2009-07-25 eliminated redundant Library.multiply;
2009-07-10 haftmann 2009-07-10 dropped find_index_eq
2009-05-24 haftmann 2009-05-24 funpow_yield; tuned
2009-03-18 wenzelm 2009-03-18 Library.merge/OrdList.union: optimize the important special case where the tables coincide -- NOTE: this changes both the operational behaviour and the result for non-standard eq/ord notion;
2009-03-18 haftmann 2009-03-18 made SML/NJ happy
2009-03-17 wenzelm 2009-03-17 renamed Tactic.taglist/untaglist/orderlist to tag_list/untag_list/order_list (in library.ML);
2009-03-01 wenzelm 2009-03-01 use long names for old-style fold combinators;
2009-02-13 kleing 2009-02-13 New command find_consts searching for constants by type (by Timothy Bourke).
2008-12-11 ballarin 2008-12-11 Clarified comment.
2008-11-10 haftmann 2008-11-10 clarified comment
2008-10-09 haftmann 2008-10-09 removed legacy |>>>
2008-09-25 haftmann 2008-09-25 burrow_fst
2008-09-07 wenzelm 2008-09-07 added change_result;
2008-09-04 wenzelm 2008-09-04 Thread.getLocal/setLocal;
2008-08-27 wenzelm 2008-08-27 replaced find_substring by first_field;
2008-08-27 wenzelm 2008-08-27 added find_substring;
2008-08-13 wenzelm 2008-08-13 removed obsolete untabify (superceded by SymbolPos.tabify_content);
2008-03-27 haftmann 2008-03-27 changed wrong assignement in signature sections
2008-03-27 wenzelm 2008-03-27 tuned comments;
2008-02-16 wenzelm 2008-02-16 setmp: uninterruptible;
2008-01-26 wenzelm 2008-01-26 added surround;
2008-01-22 haftmann 2008-01-22 added map_split
2008-01-03 wenzelm 2008-01-03 added setmp_thread_data;
2008-01-01 wenzelm 2008-01-01 removed separate exists/forall code;
2007-12-18 wenzelm 2007-12-18 serial: now based on specific version in structure Multithreading;
2007-12-17 berghofe 2007-12-17 Added foldl1.
2007-12-05 wenzelm 2007-12-05 tuned signature;
2007-12-05 haftmann 2007-12-05 map_product and fold_product
2007-10-29 wenzelm 2007-10-29 added bool_ord;