nat_as_CSemiGroup.con.body.xml
nat_as_CSemiGroup.con.types.xml
Nmult_as_CSemiGroup.con.body.xml
Nmult_as_CSemiGroup.con.types.xml
Nmult_is_CSemiGroup.con.body.xml
Nmult_is_CSemiGroup.con.types.xml