Diffusion Isabelle 09ee9eb7a3d3

proper link for Pure;
09ee9eb7a3d3
Actions

Tags

None

Subscribers

None

Description

proper link for Pure;

Details

Provenance

Authored on

Parents

rISABELLE2a329baa7d39: proper link location;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE09ee9eb7a3d3: proper link for Pure;.Nov 17 2020, 4:54 PM

Changes (2)

Path

Size

src/

Pure/

Thy/

rISABELLE09ee9eb7a3d3

src/Pure/Thy/html.ML

Loading...

src/Pure/Thy/present.ML

Loading...