fix proof in holAxiomsSyntaxTheory

I believe this is (more) fallout from commit 875ba111 in HOL.