Diffusion afp-devel 8832fd9452c0

clean up TODOs
8832fd9452c0
Actions

Tags

None

Subscribers

None

Description

clean up TODOs

Details

Provenance

Authored on

Parents

rAFP8fdbf93f3404: cleanup, guided by old FIXMEs

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rAFP8832fd9452c0: clean up TODOs.Apr 23 2020, 2:11 PM

Changes (5)

Path

Size

thys/

Functional_Ordered_Resolution_Prover/

Deterministic_FO_Ordered_Resolution_Prover.thy

Weighted_FO_Ordered_Resolution_Prover.thy

Nested_Multisets_Ordinals/

Multiset_More.thy

Ordered_Resolution_Prover/

Lazy_List_Chain.thy

rAFP8832fd9452c0

thys/Functional_Ordered_Resolution_Prover/Deterministic_FO_Ordered_Resolution_Prover.thy

Loading...

thys/Functional_Ordered_Resolution_Prover/ROOT

Loading...

thys/Functional_Ordered_Resolution_Prover/Weighted_FO_Ordered_Resolution_Prover.thy

Loading...

thys/Nested_Multisets_Ordinals/Multiset_More.thy

Loading...

thys/Ordered_Resolution_Prover/Lazy_List_Chain.thy

Loading...