inline "cic:/CoRN/algebra/CAbMonoids/isabgrp_scrr.con".
inline "cic:/CoRN/algebra/CAbMonoids/Build_SubCAbMonoid.con".
(* UNEXPORTED
inline "cic:/CoRN/algebra/CAbMonoids/isabgrp_scrr.con".
inline "cic:/CoRN/algebra/CAbMonoids/Build_SubCAbMonoid.con".
(* UNEXPORTED