Fix for duplicate theorems occurring in the output of arm_progLib.arm_spec_hex.