Z_as_CSemiGroup.con.body.xml
Z_as_CSemiGroup.con.types.xml
Z_mul_as_CSemiGroup.con.body.xml
Z_mul_as_CSemiGroup.con.types.xml
Zmult_is_CSemiGroup.con.body.xml
Zmult_is_CSemiGroup.con.types.xml
Zplus_is_CSemiGroup.con.body.xml
Zplus_is_CSemiGroup.con.types.xml