If the print set shows the same part number for the transformer for both
the H724 and H724A, it will be fine. However, DEC sometimes used
transformers in 60 Hz gear that was undersized for 50 Hz, despite the
presence of appropriate taps for 240V mains. IIRC, the 120V/60Hz RX01
had this issue.
The RX01/RX02 PSU is somewhat strange, it uses one of those ferroresonant
transformers. So you'd have to change things depending on the mains
frequency,. I think you're right, the transformer in that unit was
different between the 50 and 60Hz versions (but the 50Hz one didn't work
properly on 60Hz mains, unlile the more normal case where the 60Hz
version is undersized for 50Hz, and the 50Hz one will work fine on 60Hz).
Of course you also had to change the drive spindle motor pulley when you
changed the mains input frequency in the RX01/02.
-tony