src/Pure/Concurrent/par_list_sequential.ML
2009-10-01 wenzelm 2009-10-01 more official status of sequential implementations; tuned;