replaced commafy by existing commas; avoid obsolete Goals.prin;
replaced commafy by existing commas;
avoid obsolete Goals.prin;

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