src/Pure/Concurrent/lazy.ML
2009-10-20 wenzelm 2009-10-20 removed unused map_force;
2009-10-01 wenzelm 2009-10-01 separate concurrent/sequential versions of lazy evaluation; lazy based on future avoids wasted evaluations;