Diffusion afp-devel 035769df3336

generalized completeness theorems + refactored a little
035769df3336
Actions

Tags

None

Subscribers

None

Description

generalized completeness theorems + refactored a little

Details

Provenance

Authored on

Parents

rAFP77ad5390bcd8: added lemmas

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rAFP035769df3336: generalized completeness theorems + refactored a little.May 11 2020, 5:47 PM

Changes (2)

Path

Size

thys/

Saturation_Framework/

Prover_Architectures.thy

rAFP035769df3336

thys/Saturation_Framework/Calculi.thy

Loading...

thys/Saturation_Framework/Prover_Architectures.thy

Loading...