Diffusion Isabelle b9aae426e51d

clarified signature (see Scala version);
b9aae426e51d
Actions

Tags

None

Subscribers

None

Description

clarified signature (see Scala version);

Details

Provenance

Authored on

Parents

rISABELLEc17253cad5c6: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb9aae426e51d: clarified signature (see Scala version);.May 12 2021, 2:55 PM

Changes (2)

Path

Size

src/

Pure/

Concurrent/

Syntax/

syntax_phases.ML

rISABELLEb9aae426e51d

src/Pure/Concurrent/par_list.ML

Loading...

src/Pure/Syntax/syntax_phases.ML

Loading...