faster machine for slow/bulky polyml-5.3.0 tests (notably HOL-Proofs);
faster machine for slow/bulky polyml-5.3.0 tests (notably HOL-Proofs);

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