Group is #if defined(NEW_CM) $/basis.cm $/pp-lib.cm $/smlnj-lib.cm $/controls-lib.cm $smlnj/compiler.cm #endif prop.sml ctx.sml pcheck.sml tests.sml