removed Restricted_Predicates.irreflp_on following the introduction of equivalent Relation.irreflp_on in HOL
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rAFPab056942c0bc: fixed Containers following introduction of irrefl_on
- Branches
- Unknown
- Tags