src/Pure/Concurrent/standard_thread.ML
2016-04-06 wenzelm 2016-04-06 clarified modules; tuned signature;
2016-03-03 wenzelm 2016-03-03 clarified modules; tuned signature;
2016-03-03 wenzelm 2016-03-03 discontinued polyml-5.3.0;
2015-11-03 wenzelm 2015-11-03 clarified modules;