Diffusion Isabelle c8e6078fee73

clarified signature;
c8e6078fee73
Actions

Tags

None

Subscribers

None

Description

clarified signature;

Details

Provenance

Authored on

Parents

rISABELLEeb7480f29adc: unused;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc8e6078fee73: clarified signature;.Jul 11 2022, 2:56 PM

Changes (2)

Path

Size

src/

Pure/

Thy/

Tools/

server_commands.scala

rISABELLEc8e6078fee73

src/Pure/Thy/export.scala

Loading...

src/Pure/Tools/server_commands.scala

Loading...