İn this paper we describe a package XMOD [2] of functions for computing with crossed modules, their morphisms and derivations; cat'-groups, Üıeir morphisms and sections, written using the GAP [5] group theory programming language. We have also enumerated the isomorphism classes of cat -groups in [3], Using these papers, we proved some mathematical results on cat'-group structures.