HomeIsabelle/Phabricator

Remove PolyInterpretedCreateCallback since we're not supporting callbacks in…

Description

Remove PolyInterpretedCreateCallback since we're not supporting callbacks in the interpreter at the moment.

Details

Provenance
dcjmAuthored on Jul 24 2020, 12:29 PM
Parents
rPOLYMLf569b0e3e8ed: Fixes, mainly with structs.
Branches
Unknown
Tags
Unknown