HomeIsabelle/Phabricator

removed Restricted_Predicates.irreflp_on following the introduction of…

Description

removed Restricted_Predicates.irreflp_on following the introduction of equivalent Relation.irreflp_on in HOL

Details

Provenance
desharnaAuthored on
Parents
rAFPab056942c0bc: fixed Containers following introduction of irrefl_on
Branches
Unknown
Tags
Unknown