Diffusion Isabelle 53e28c438f96

minor performance tuning;
53e28c438f96
Actions

Tags

None

Subscribers

None

Description

minor performance tuning;

Details

Provenance

Authored on

Parents

rISABELLEa3b0fc510705: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE53e28c438f96: minor performance tuning;.Aug 23 2021, 8:18 PM

makarius mentioned this in rAFPf1bf23e16821: follow Isabelle/53e28c438f96;.Aug 23 2021, 10:29 PM

Changes (2)

Path

Size

src/

Pure/

General/

Isar/

rISABELLE53e28c438f96

src/Pure/General/symbol_pos.ML

Loading...

src/Pure/Isar/token.ML

Loading...