src/Pure/Concurrent/standard_thread.scala
2015-11-03 wenzelm 2015-11-03 more direct task future implementation, with proper cancel operation; more uniform Future.thread;
2015-11-03 wenzelm 2015-11-03 clarified modules;