Diffusion Isabelle 6413c598d21f

tuned internal structure;
6413c598d21f
Actions

Tags

None

Subscribers

None

Description

tuned internal structure;

Details

Provenance

Authored on

Parents

rISABELLEfdb71efcc04a: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6413c598d21f: tuned internal structure;.May 8 2023, 11:45 AM

Changes (1)

Path

Size

src/

Pure/

rISABELLE6413c598d21f

src/Pure/context.ML

Loading...