Diffusion Isabelle 8ba186dc9bc8

clarified source structure;
8ba186dc9bc8
Actions

Tags

None

Subscribers

None

Description

clarified source structure;

Details

Provenance

Authored on

Parents

rISABELLE1789ecbaf28b: tuned whitespace;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE8ba186dc9bc8: clarified source structure;.Aug 22 2023, 11:54 AM

Changes (2)

Path

Size

src/

Pure/

System/

Thy/

rISABELLE8ba186dc9bc8

src/Pure/System/progress.scala

Loading...

src/Pure/Thy/export.scala

Loading...