Added theory for group isomorphism classes.