HomeIsabelle/Phabricator

Add Arm64_32 to export architectures.

Description

Add Arm64_32 to export architectures.

Details

Provenance
dcjmAuthored on Mar 29 2021, 12:09 PM
Parents
rPOLYMLc4db30ee1234: Use more 32-bit operations in 32-in-64.
Branches
Unknown
Tags
Unknown