added condition = ISABELLE_POLYML according to no-smlnj targets in IsaMakefile;
added condition = ISABELLE_POLYML according to no-smlnj targets in IsaMakefile;

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