src/Pure/Concurrent/lazy_sequential.ML
2009-10-20 wenzelm 2009-10-20 removed unused map_force;
2009-10-01 wenzelm 2009-10-01 tuned;
2009-10-01 wenzelm 2009-10-01 Lazy evaluation with memoing (sequential version).