HomeIsabelle/Phabricator

Fix errors in GMP version of RTS log2 code.

Description

Fix errors in GMP version of RTS log2 code.

Details

Provenance
dcjmAuthored on Nov 7 2023, 8:54 AM
Parents
rPOLYML79cef4cc78c8: Merge branch 'master' into IntInfFix
Branches
Unknown
Tags
Unknown