Diffusion afp-devel 6c23bafd5be8

make equivalence a predicate in Saturation_Framework
6c23bafd5be8
Actions

Tags

None

Subscribers

None

Description

make equivalence a predicate in Saturation_Framework

Details

Provenance

Authored on

Parents

rAFP0019b46607c4: tuning

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rAFP6c23bafd5be8: make equivalence a predicate in Saturation_Framework.Apr 29 2020, 2:52 PM

Changes (1)

Path

Size

thys/

Saturation_Framework/

Prover_Architectures.thy

rAFP6c23bafd5be8

thys/Saturation_Framework/Prover_Architectures.thy

Loading...