Diffusion Isabelle 33bee7a96f72

tuned comments (amending 1951f6470792);
33bee7a96f72
Actions

Tags

None

Subscribers

None

Description

tuned comments (amending 1951f6470792);

Details

Provenance

Authored on

Parents

rISABELLE676713cba24d: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE33bee7a96f72: tuned comments (amending 1951f6470792);.Mar 29 2023, 12:25 PM

Changes (2)

Path

Size

src/

Pure/

General/

rISABELLE33bee7a96f72

src/Pure/General/set.ML

Loading...

src/Pure/General/table.ML

Loading...