added iSemigroup_xp.thy