HomeIsabelle/Phabricator

hooks for foundational terms: protection of foundational terms during…

Description

hooks for foundational terms: protection of foundational terms during simplification

Details

Provenance
florian.haftmannAuthored on
Parents
rISABELLEacfe72ff00c2: merged
Branches
Unknown
Tags
Unknown