Diffusion Isabelle e53f4c5927a1

tuned signature: more types;
e53f4c5927a1
Actions

Tags

None

Subscribers

None

Description

tuned signature: more types;

Details

Provenance

Authored on

Parents

rISABELLE1ab0e1159e7c: clarified signature: proper order;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe53f4c5927a1: tuned signature: more types;.Jan 30 2021, 7:36 PM

Changes (2)

Path

Size

src/

Pure/

General/

Thy/

rISABELLEe53f4c5927a1

src/Pure/General/symbol.scala

Loading...

src/Pure/Thy/html.scala

Loading...