load_thy: parallel parsing of units, which consist of statement/proof each;
load_thy: parallel parsing of units, which consist of statement/proof each;

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