src/Pure/library.ML
1993-10-08 wenzelm 1993-10-08 added cons, rcons, last_elem, sort_strings, take_suffix; improved tack_on;
1993-10-05 clasohm 1993-10-05 added functions that operate on filenames: split_filename (originally located in Pure/read.ML), tack_on, remove_ext
1993-09-16 clasohm 1993-09-16 Initial revision