HomeIsabelle/Phabricator

Fix shift constants. They did not take account of the tag shift.

Description

Fix shift constants. They did not take account of the tag shift.

Details

Provenance
dcjmAuthored on Feb 22 2021, 8:26 AM
Parents
rPOLYML62a56474f04a: Fix boxed version.
Branches
Unknown
Tags
Unknown