src/Pure/General/susp.ML
2007-11-06 haftmann 2007-11-06 CRITICAL force
2007-08-16 wenzelm 2007-08-16 force: non-critical, but also non-thread-safe (potentially multiple evaluations);
2007-07-29 wenzelm 2007-07-29 NAMED_CRITICAL;
2007-07-23 wenzelm 2007-07-23 marked some CRITICAL sections (for multithreading);
2006-09-19 haftmann 2006-09-19 added suspensions in Pure
2005-06-02 wenzelm 2005-06-02 header;
2003-12-05 skalberg 2003-12-05 Added lazy sequences and parser combinators for same.