Diffusion afp-devel 529f5f3d2da0

used same parameter order for locales substitution and substitution
529f5f3d2da0
Actions

Tags

None

Subscribers

None

Description

used same parameter order for locales substitution and substitution

Details

Provenance

Authored on

Parents

rAFPf7df1a1ea10c: patched for new/simplified lemmas

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFP529f5f3d2da0: used same parameter order for locales substitution and substitution.Feb 16 2022, 10:54 AM

Changes (3)

Path

Size

thys/

Functional_Ordered_Resolution_Prover/

IsaFoR_Term.thy

Ordered_Resolution_Prover/

Abstract_Substitution.thy

FO_Ordered_Resolution.thy

rAFP529f5f3d2da0

thys/Functional_Ordered_Resolution_Prover/IsaFoR_Term.thy

Loading...

thys/Ordered_Resolution_Prover/Abstract_Substitution.thy

Loading...

thys/Ordered_Resolution_Prover/FO_Ordered_Resolution.thy

Loading...