HomeIsabelle/Phabricator

Implement byte-vector equality, primarily used for strings. Fix Word.mod which…

Description

Implement byte-vector equality, primarily used for strings. Fix Word.mod which was wrong.

Details

Provenance
dcjmAuthored on Feb 24 2021, 1:16 PM
Parents
rPOLYMLb1da8377796a: Implement RTS calls with non-floating point arguments and result.
Branches
Unknown
Tags
Unknown