Diffusion Isabelle 8faf28a80a7f

efficient representation of sets: more compact than Table.set;
8faf28a80a7f
Actions

Tags

None

Subscribers

None

Description

efficient representation of sets: more compact than Table.set;

Details

Provenance

Authored on

Parents

rISABELLE7c1cc9ce9340: tuned whitespace;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE8faf28a80a7f: efficient representation of sets: more compact than Table.set;.Mar 27 2023, 7:41 PM

Changes (5)

Path

Size

rISABELLE8faf28a80a7f

src/Pure/General/set.ML

Loading...

src/Pure/ROOT.ML

Loading...