Diffusion afp-devel f63d39eac6e3

adapted to Isabelle/c9e091867206
f63d39eac6e3
Actions

Tags

None

Subscribers

None

Description

adapted to Isabelle/c9e091867206

Details

Provenance

Authored on

Parents

rAFPeba886159d27: adapted to Isabelle/b61ad889dffa

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFPf63d39eac6e3: adapted to Isabelle/c9e091867206.Dec 26 2022, 2:34 PM

Changes (1)

Path

Size

thys/

Decreasing-Diagrams-II/

Decreasing_Diagrams_II_Aux.thy

rAFPf63d39eac6e3

thys/Decreasing-Diagrams-II/Decreasing_Diagrams_II_Aux.thy

Loading...