HomeIsabelle/Phabricator

When exporting a volatile ref we can clear it if it is in hierarchy zero i.e.

Description

When exporting a volatile ref we can clear it if it is in hierarchy zero i.e. writing an object file.

Details

Provenance
dcjmAuthored on Oct 16 2020, 6:40 PM
Parents
rPOLYML47edaa46b73b: Merge branch 'master' into VolatileRef
Branches
Unknown
Tags
Unknown