The IRA said in July that its 35-year campaign to overthrow British rule of Northern Ireland by force was officially over.