Diffusion afp-devel 5e97b5d46902

tuning Saturation_Framework
5e97b5d46902
Actions

Tags

None

Subscribers

None

Description

tuning Saturation_Framework

Details

Provenance

Authored on

Parents

rAFPc6b2b3c9c949: weakened assumption a tiny bit (syntactically; semantically this is the same)

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rAFP5e97b5d46902: tuning Saturation_Framework.Apr 29 2020, 9:49 PM

Changes (3)

Path

Size

thys/

Saturation_Framework/

Labeled_Lifting_to_Non_Ground_Calculi.thy

Lifting_to_Non_Ground_Calculi.thy

Prover_Architectures.thy

rAFP5e97b5d46902

thys/Saturation_Framework/Labeled_Lifting_to_Non_Ground_Calculi.thy

Loading...

thys/Saturation_Framework/Lifting_to_Non_Ground_Calculi.thy

Loading...

thys/Saturation_Framework/Prover_Architectures.thy

Loading...