removed Restricted_Predicates.transp_on following the introduction of equivalent Relation.transp_on in HOL
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rAFP7713c04dccf5: merged
- Branches
- Unknown
- Tags
removed Restricted_Predicates.transp_on following the introduction of…
Description removed Restricted_Predicates.transp_on following the introduction of equivalent Relation.transp_on in HOL
Details
Event Timeline |