Include Section

%--------------------------------------------------------------------------
%----Include axioms of equality
include('Axioms/EQU001+0.ax').
%----Include Semigroup axioms
include('Axioms/GRP007+0.ax').
%----Include Substitution axioms for semigroup axioms
include('Axioms/GRP007+0.eq').
%--------------------------------------------------------------------------