Diffusion afp-devel 4f6728047f6b

weakened ordering requirements
4f6728047f6b
Actions

Tags

None

Subscribers

None

Description

weakened ordering requirements

Details

Provenance

Authored on

Parents

rAFP8b85f22f4dd1: used well-founded pre-order in standard redundancy criterions

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFP4f6728047f6b: weakened ordering requirements.Nov 15 2021, 10:20 AM

Changes (2)

Path

Size

thys/

Saturation_Framework_Extensions/

Clausal_Calculus.thy

Standard_Redundancy_Criterion.thy

rAFP4f6728047f6b

thys/Saturation_Framework_Extensions/Clausal_Calculus.thy

Loading...

thys/Saturation_Framework_Extensions/Standard_Redundancy_Criterion.thy

Loading...