inline "cic:/CoRN/algebra/CAbGroups/isabgrp_scrr.con".
inline "cic:/CoRN/algebra/CAbGroups/Build_SubCAbGroup.con".
(* UNEXPORTED
inline "cic:/CoRN/algebra/CAbGroups/isabgrp_scrr.con".
inline "cic:/CoRN/algebra/CAbGroups/Build_SubCAbGroup.con".
(* UNEXPORTED