removed Restricted_Predicates.reflp_on following the introduction of equivalent Relation.reflp_on in HOL
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rAFP9d50a3586261: removed Restricted_Predicates.total_on following the introduction of equivalent…
- Branches
- Unknown
- Tags