HomeIsabelle/Phabricator

follow corresponding precedence on sets

Description

follow corresponding precedence on sets

Details

Provenance
florian.haftmannAuthored on
Parents
rAFP48319c117066: consolidated names
Branches
Unknown
Tags
Unknown

Empty Commit

This commit is empty and does not affect any paths.