Diffusion Isabelle 544e81a2c9fc

tuned signature: removed unused operations;
544e81a2c9fc
Actions

Tags

None

Subscribers

None

Description

tuned signature: removed unused operations;

Details

Provenance

Authored on

Parents

rISABELLE19978abbc111: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE544e81a2c9fc: tuned signature: removed unused operations;.Sep 22 2022, 11:30 AM

Changes (1)

Path

Size

src/

Pure/

Tools/

rISABELLE544e81a2c9fc

src/Pure/Tools/build.scala

Loading...