Diffusion Isabelle b1c555d3cd71

tuned signature -- more operations;
b1c555d3cd71
Actions

Tags

None

Subscribers

None

Description

tuned signature -- more operations;

Details

Provenance

Authored on

Parents

rISABELLE6046f203c245: tuned

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLEb1c555d3cd71: tuned signature -- more operations;.Nov 19 2019, 3:45 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

rISABELLEb1c555d3cd71

src/Pure/Thy/export.scala

Loading...