Diffusion afp-devel 88356e38a271

added author to Saturation_Framework_Extensions
88356e38a271
Actions

Tags

None

Subscribers

None

Description

added author to Saturation_Framework_Extensions

Details

Provenance

Authored on

Parents

rAFP70d3ed7fb774: derived calculus_with_standard_redundancy lemmas from…

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFP88356e38a271: added author to Saturation_Framework_Extensions.Nov 9 2021, 2:03 PM

Changes (1)

Path

Size

thys/

Saturation_Framework_Extensions/

Standard_Redundancy_Criterion.thy

rAFP88356e38a271

thys/Saturation_Framework_Extensions/Standard_Redundancy_Criterion.thy

Loading...