added future_scheduler flag (tmp!), from skip_proofs.ML; added Concurrent/par_list_dummy.ML;
added future_scheduler flag (tmp!), from skip_proofs.ML;
added Concurrent/par_list_dummy.ML;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle