Mary Robinson became President of Ireland