explicit commutative additive inverse operation;
more explicit focal point for commutative monoids with an inverse operation
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