HomeIsabelle/Phabricator

Fix interpreter after RTS function change.

Description

Fix interpreter after RTS function change.

Details

Provenance
dcjmAuthored on May 13 2021, 12:49 PM
Parents
rPOLYML18716c3f4dab: Fixes to Unix files after RTS function change.
Branches
Unknown
Tags
Unknown