Diffusion Isabelle 14f1fa94f0a5

clarified structure;
14f1fa94f0a5
Actions

Tags

None

Subscribers

None

Description

clarified structure;

Details

Provenance

Authored on

Parents

rISABELLEa24d77f2cfe9: tuned output;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE14f1fa94f0a5: clarified structure;.Mar 7 2023, 4:23 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

rISABELLE14f1fa94f0a5

src/Pure/Thy/sessions.scala

Loading...