Diffusion afp-devel 8274c4ccd8c9

moved lemmas around, tuning
8274c4ccd8c9
Actions

Tags

None

Subscribers

None

Description

moved lemmas around, tuning

Details

Provenance

Authored on

Parents

rAFP3a7847bc58ce: moving lemmas where they belong

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rAFP8274c4ccd8c9: moved lemmas around, tuning.May 12 2020, 10:47 AM

Changes (2)

Path

Size

thys/

Ordered_Resolution_Prover/

FO_Ordered_Resolution.thy

Saturation_Framework/

Labeled_Lifting_to_Non_Ground_Calculi.thy

rAFP8274c4ccd8c9

thys/Ordered_Resolution_Prover/FO_Ordered_Resolution.thy

Loading...

thys/Saturation_Framework/Labeled_Lifting_to_Non_Ground_Calculi.thy

Loading...