Diffusion afp-devel f22a73cc49a1

tuned arrows, and proofs
f22a73cc49a1
Actions

Tags

None

Subscribers

None

Description

tuned arrows, and proofs

Details

Provenance

Authored on

Parents

rAFPc812b6895caa: variable renaming

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rAFPf22a73cc49a1: tuned arrows, and proofs.Aug 31 2020, 11:30 AM

Changes (3)

Path

Size

thys/

Saturation_Framework/

Given_Clause_Architectures.thy

Saturation_Framework_Extensions/

FO_Ordered_Resolution_Prover_Revisited.thy

Given_Clause_Architectures_Revisited.thy

rAFPf22a73cc49a1

thys/Saturation_Framework/Given_Clause_Architectures.thy

Loading...

thys/Saturation_Framework_Extensions/FO_Ordered_Resolution_Prover_Revisited.thy

Loading...

thys/Saturation_Framework_Extensions/Given_Clause_Architectures_Revisited.thy

Loading...