Diffusion afp-devel f6456079a297

added idempotent most general unifier
f6456079a297
Actions

Tags

None

Subscribers

None

Description

added idempotent most general unifier

Details

Provenance

Authored on

Parents

rAFP529f5f3d2da0: used same parameter order for locales substitution and substitution

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFPf6456079a297: added idempotent most general unifier.Feb 16 2022, 11:48 AM

Changes (2)

Path

Size

thys/

Functional_Ordered_Resolution_Prover/

IsaFoR_Term.thy

Ordered_Resolution_Prover/

Abstract_Substitution.thy

rAFPf6456079a297

thys/Functional_Ordered_Resolution_Prover/IsaFoR_Term.thy

Loading...

thys/Ordered_Resolution_Prover/Abstract_Substitution.thy

Loading...