Diffusion afp-devel bca5d31690de

moved theory files from IsaFoL repository to AFP now that IsaFoR's KBO is in…
bca5d31690de
Actions

Tags

None

Subscribers

None

Description

moved theory files from IsaFoL repository to AFP now that IsaFoR's KBO is in the AFP

Details

Provenance

Authored on

Parents

rAFPcd4388702c9b: New entry Knuth_Bendix_Order

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rAFPbca5d31690de: moved theory files from IsaFoL repository to AFP now that IsaFoR's KBO is in….May 15 2020, 6:39 PM

Changes (9)

Path

Size

Functional_Ordered_Resolution_Prover

Executable_FO_Ordered_Resolution_Prover.thy

Executable_Subsumption.thy

IsaFoR_Term.thy

IsaFoR_Term_KBO.thy

Weighted_FO_Ordered_Resolution_Prover.thy

document/

rAFPbca5d31690de

thys/Functional_Ordered_Resolution_Prover/Executable_FO_Ordered_Resolution_Prover.thy

Loading...

thys/Functional_Ordered_Resolution_Prover/Executable_Subsumption.thy

Loading...

thys/Functional_Ordered_Resolution_Prover/IsaFoR_Term.thy

Loading...

thys/Functional_Ordered_Resolution_Prover/IsaFoR_Term_KBO.thy

Loading...

thys/Functional_Ordered_Resolution_Prover/ROOT

Loading...

thys/Functional_Ordered_Resolution_Prover/Weighted_FO_Ordered_Resolution_Prover.thy

Loading...

thys/Functional_Ordered_Resolution_Prover/document/root.tex

Loading...