val stdErr = std_out (std_err is unavaliable in polyml-3.x);
val stdErr = std_out (std_err is unavaliable in polyml-3.x);

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