HomeIsabelle/Phabricator

Include a temporary version of RunCall.rtsCallFull4 because it isn't included…

Description

Include a temporary version of RunCall.rtsCallFull4 because it isn't included in 5.8.1.

Details

Provenance
dcjmAuthored on Jul 23 2020, 6:05 PM
Parents
rPOLYML7977da2fa662: Tidy up to fix some issues.
Branches
Unknown
Tags
Unknown