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 Wed, Oct 7, 9:05 AM
Parents
rPOLYML5225f3423135: Improvements to interpreted code and the interpreter. Add code to handle…
Branches
Unknown
Tags
Unknown