Diffusion afp-devel 2f1b1f57bd12

moved lemma where it belonged
2f1b1f57bd12
Actions

Tags

None

Subscribers

None

Description

moved lemma where it belonged

Details

Provenance

Authored on

Parents

rAFPea64af8304a7: merge from afp-2020

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rAFP2f1b1f57bd12: moved lemma where it belonged.Apr 21 2020, 3:55 PM

Changes (2)

Path

Size

thys/

Ordered_Resolution_Prover/

Lazy_List_Liminf.thy

Saturation_Framework/

rAFP2f1b1f57bd12

thys/Ordered_Resolution_Prover/Lazy_List_Liminf.thy

Loading...

thys/Saturation_Framework/Calculi.thy

Loading...