2007-05-31 ago simplified/unified list fold;
2006-11-16 ago moved some fundamental concepts to General/basics.ML;
2006-11-09 ago tuned;
2006-08-03 ago removed obsolete commute, map_list;
2006-06-17 ago added singleton;
2006-06-12 ago tuned interfaces;
2006-04-27 ago added map_filter;
2006-04-26 ago curried Seq.cons;
2005-09-13 ago added maps, map_list, lift, lifts;
2005-06-22 ago tuned;
2005-05-18 ago tuned;
2005-03-04 ago Removed practically all references to Library.foldr.
2005-03-03 ago Move towards standard functions.
2005-02-13 ago Deleted Library.option type.
2004-06-21 ago Merged in license change from Isabelle2004
2002-01-26 ago generic DETERM;
2001-10-11 ago added try;
2000-05-05 ago GPLed;
2000-03-20 ago ALLGOALS_RANGE superceded by Seq.INTERVAL;
1999-07-08 ago added commute: 'a seq list -> 'a list seq;
1999-01-13 ago fixed titles;
1998-11-14 ago prefixed op;
1998-09-25 ago added REPEAT1;
1998-06-10 ago moved seq.ML to General/seq.ML;