HomeIsabelle/Phabricator

removed Restricted_Predicates.reflp_on following the introduction of equivalent…