eliminated obsolete "parallel_proofs = 0" restriction (cf. 0e5b859e1c91)
eliminated obsolete "parallel_proofs = 0" restriction (cf. 0e5b859e1c91)

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