/src/LegacyArithmetic/Double/Proofs/

• ../
• BitwiseOr.v
• Decode.v
• LoadImmediate.v
• Multiply.v
• RippleCarryAddSub.v
• SelectConditional.v
• ShiftLeft.v
• ShiftLeftRightTactic.v
• ShiftRight.v
• ShiftRightDoubleWordImmediate.v
• SpreadLeftImmediate.v