Diffusion afp-devel 49df37cde100

fixed proofs and removed duplicates following Isabelle/e65a50f6c2de
49df37cde100
Actions

Tags

None

Subscribers

None

Description

fixed proofs and removed duplicates following Isabelle/e65a50f6c2de

Details

Provenance

Authored on

Parents

rAFP98257aa0ff92: tuned proofs to use asymI, asymD, asympI, and asympD

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFP49df37cde100: fixed proofs and removed duplicates following Isabelle/e65a50f6c2de.Dec 19 2022, 1:24 PM

Changes (2)

Path

Size

thys/

Decreasing-Diagrams-II/

Decreasing_Diagrams_II_Aux.thy

Saturation_Framework_Extensions/

Standard_Redundancy_Criterion.thy

rAFP49df37cde100

thys/Decreasing-Diagrams-II/Decreasing_Diagrams_II_Aux.thy

Loading...

thys/Saturation_Framework_Extensions/Standard_Redundancy_Criterion.thy

Loading...