src/Pure/Concurrent/ROOT.ML

proof_body/pthm: removed redundant types field;
fold_proof_atoms: unified recursive case with fold_body_thms;
tuned signature;

(*  Title:      Pure/Concurrent/ROOT.ML
    ID:         $Id$

Concurrency within the ML runtime.
*)

val future_scheduler = ref false;

use "simple_thread.ML";
use "synchronized.ML";
use "mailbox.ML";
use "schedule.ML";
use "task_queue.ML";
use "future.ML";
use "par_list.ML";
if Multithreading.available then () else use "par_list_dummy.ML";