Diffusion Isabelle be3f838b3e17

tuned --- fewer compiler warnings;
be3f838b3e17
Actions

Tags

None

Subscribers

None

Description

tuned --- fewer compiler warnings;

Details

Provenance

Authored on

Parents

rISABELLEc4c96a833a37: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEbe3f838b3e17: tuned --- fewer compiler warnings;.Mar 28 2023, 7:43 PM

Changes (2)

Path

Size

src/

Pure/

General/

rISABELLEbe3f838b3e17

src/Pure/General/set.ML

Loading...

src/Pure/General/table.ML

Loading...