Fix theories in arm6-verification/correctness
Repairs following changes to abbreviations.
examples/elliptic/arm -> examples/ARM/v4 examples/arm6 -> examples/ARM/arm6-verification