HomeIsabelle/Phabricator

clarified order of extra TFrees: underlying fast_string_ord coincides with Name.

Description

clarified order of extra TFrees: underlying fast_string_ord coincides with Name.invent (e.g. from type inference);

Details

Provenance
makariusAuthored on
Parents
rISABELLE019fe8238656: NEWS;
Branches
Unknown
Tags
Unknown