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 Mon, Feb 22, 8:26 AM
Parents
rPOLYML62a56474f04a: Fix boxed version.
Branches
Unknown
Tags
Unknown