Diffusion Isabelle a81ec42bac45

more parallel;
a81ec42bac45
Actions

Tags

None

Subscribers

None

Description

more parallel;

Details

Provenance

Authored on

Parents

rISABELLE5de4a6ae6065: more parallel;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa81ec42bac45: more parallel;.Jan 31 2021, 8:39 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

presentation.scala

rISABELLEa81ec42bac45

src/Pure/Thy/presentation.scala

Loading...