Again polished GroupAction.thy