include no-smlnj targets into library (cf. e54a985daa61);
include no-smlnj targets into library (cf. e54a985daa61);

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