afford higher execution priority by default: defer proofs and thus stretch parallelism over whole document;
afford higher execution priority by default: defer proofs and thus stretch parallelism over whole document;

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