src/Pure/Concurrent/par_list_sequential.ML
2011-08-18 wenzelm 2011-08-18 updated sequential version (cf. b94951f06e48);
2011-02-05 wenzelm 2011-02-05 more tracing information via Par_List.map_name;
2009-10-01 wenzelm 2009-10-01 more official status of sequential implementations; tuned;