HomeIsabelle/Phabricator

Add some combined instructions that implement common sequences for datatype tag…

Description

Add some combined instructions that implement common sequences for datatype tag testing.

Details

Provenance
dcjmAuthored on Oct 7 2020, 9:05 AM
Parents
rPOLYML5225f3423135: Improvements to interpreted code and the interpreter. Add code to handle…
Branches
Unknown
Tags
Unknown