src/HOL/Import/lazy_seq.ML
2010-11-20 wenzelm 2010-11-20 renamed raw "explode" function to "raw_explode" to emphasize its meaning;
2009-10-29 wenzelm 2009-10-29 eliminated some old folds;
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-03-01 wenzelm 2009-03-01 use long names for old-style fold combinators;
2008-12-04 wenzelm 2008-12-04 renamed type Lazy.T to lazy;
2008-10-23 wenzelm 2008-10-23 renamed structure Susp to Lazy, and Susp.delay to Lazy.lazy;
2008-10-23 wenzelm 2008-10-23 do not open Susp;
2006-11-16 wenzelm 2006-11-16 moved some fundamental concepts to General/basics.ML;
2006-09-19 haftmann 2006-09-19 added suspensions in Pure
2006-02-17 obua 2006-02-17 replaced Symbol.explode by explode
2006-02-16 obua 2006-02-16 improved scanning
2006-02-15 obua 2006-02-15 fixed bugs, added caching
2005-10-08 wenzelm 2005-10-08 moved susp.ML, lazy_seq.ML, lazy_scan.ML to HOL/Import;