Thanks. I found what appears to be the answer I was looking for in IRS Publication 502, page 17. Since the HRA is funded solely by my former employer, I can't deduct premiums for which I'm reimbursed by the HRA.
