Diffusion Isabelle a9eaf8c3b728

tuned signature (e.g. see HTML.control_block in Isabelle/Scala);
a9eaf8c3b728
Actions

Tags

None

Subscribers

None

Description

tuned signature (e.g. see HTML.control_block in Isabelle/Scala);

Details

Provenance

Authored on

Parents

rISABELLEd967f6643f5e: proper Isabelle environment (amending 31fbde3baa97);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa9eaf8c3b728: tuned signature (e.g. see HTML.control_block in Isabelle/Scala);.Jan 27 2021, 2:56 PM

Changes (2)

Path

Size

src/

Pure/

General/

Syntax/

rISABELLEa9eaf8c3b728

src/Pure/General/symbol.ML

Loading...

src/Pure/Syntax/lexicon.ML

Loading...