+−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 +−