HomeIsabelle/Phabricator

The general "tail" instruction is now in the extended set.

Description

The general "tail" instruction is now in the extended set.

Details

Provenance
dcjmAuthored on Oct 14 2020, 4:22 PM
Parents
rPOLYML27b540108c51: Fix offsets in test.
Branches
Unknown
Tags
Unknown