Diffusion afp-devel 70cf7337c410

replaced Open_Induction.Restricted_Predicates.total_on by equivalent HOL.
70cf7337c410
Actions

Tags

None

Subscribers

None

Description

replaced Open_Induction.Restricted_Predicates.total_on by equivalent HOL.Relation.totap_on

Details

Provenance

Authored on

Parents

rAFP2b1913cf535e: merge from afp-2022

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFP70cf7337c410: replaced Open_Induction.Restricted_Predicates.total_on by equivalent HOL..Nov 9 2022, 11:53 AM

Changes (1)

Path

Size

thys/

Functional_Ordered_Resolution_Prover/

Executable_Subsumption.thy

rAFP70cf7337c410

thys/Functional_Ordered_Resolution_Prover/Executable_Subsumption.thy

Loading...