A minor point, but I suspect the author meant the "Provisional" IRA, AKA the "Provos".
There may have been a Provincial IRA somewhere, sometime, but I don't think that's what he meant here.
Yes, I believe you are correct, thanks.