src/Pure/Concurrent/multithreading.ML
2016-04-02 ago prefer infix operations;
2016-03-26 ago obsolete -- done in Isabelle_Process.init_options;
2016-03-03 ago discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM;