Diffusion Isabelle ff924ce0c599

clarified counters and types;
ff924ce0c599
Actions

Tags

None

Subscribers

None

Description

clarified counters and types;

Details

Provenance

Authored on

Parents

rISABELLEa9626bcb0c3b: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEff924ce0c599: clarified counters and types;.Apr 21 2023, 1:59 PM

Changes (1)

Path

Size

src/

Pure/

rISABELLEff924ce0c599

src/Pure/context.ML

Loading...