require_thy: explicit tasks graph; added sequential scheduler; internal tuning;
require_thy: explicit tasks graph;
added sequential scheduler;
internal tuning;

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