tuned scope of Multithreading.interrupted vs. Multithreading.with_attributes;
tuned scope of Multithreading.interrupted vs. Multithreading.with_attributes;

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