HomeIsabelle/Phabricator

Change setWord to use LargeWord.word. Fix some more merge issues.

Description

Change setWord to use LargeWord.word. Fix some more merge issues.

Details

Provenance
dcjmAuthored on Mar 28 2021, 5:39 PM
Parents
rPOLYML4634ffe749e2: Fix arbitrary precision add and subtract for 32-in-64. Fix merge bug.
Branches
Unknown
Tags
Unknown