Diffusion Isabelle 2225d3267f58

slightly more compact data;
2225d3267f58
Actions

Tags

None

Subscribers

None

Description

slightly more compact data;

Details

Provenance

Authored on

Parents

rISABELLEe64428b6b170: more operations, notably for profiling;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2225d3267f58: slightly more compact data;.Mar 29 2023, 10:34 AM

Changes (2)

Path

Size

src/

Pure/

General/

rISABELLE2225d3267f58

src/Pure/General/set.ML

Loading...

src/Pure/General/table.ML

Loading...