MRA HOL Snapshots Snapshots of the Arm A-profile Machine Readable Architecture specification, converted to HOL.