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