Diffusion Isabelle 91fc15d9dbdf

tuned: more readable ML;
91fc15d9dbdf
Actions

Tags

None

Subscribers

None

Description

tuned: more readable ML;

Details

Provenance

Authored on

Parents

rISABELLE2587b492664a: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE91fc15d9dbdf: tuned: more readable ML;.May 9 2023, 7:56 PM

Changes (1)

Path

Size

src/

Pure/

Syntax/

rISABELLE91fc15d9dbdf

src/Pure/Syntax/parser.ML

Loading...