Diffusion afp-devel f97be2071061

removed spurious assumption
f97be2071061
Actions

Tags

None

Subscribers

None

Description

removed spurious assumption

Details

Provenance

Authored on

Parents

rAFPc582b55a36c3: tuning

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rAFPf97be2071061: removed spurious assumption.Apr 29 2020, 12:39 PM

Changes (1)

Path

Size

thys/

Saturation_Framework/

Consequence_Relations_and_Inference_Systems.thy

rAFPf97be2071061

thys/Saturation_Framework/Consequence_Relations_and_Inference_Systems.thy

Loading...