session Spec_Check in Spec_Check = Pure + theories Spec_Check theories [condition = ML_SYSTEM_POLYML] Examples session SML in SML = Pure + options [condition = ML_SYSTEM_POLYML] theories Examples