Diffusion Isabelle 7a58c1199de3

tuned signature;
7a58c1199de3
Actions

Tags

None

Subscribers

None

Description

tuned signature;

Details

Provenance

Authored on

Parents

rISABELLE11045cf2b5c2: tuned signature: more operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7a58c1199de3: tuned signature;.Sun, Nov 12, 8:59 PM

Changes (1)

Path

Size

src/

Pure/

System/

rISABELLE7a58c1199de3

src/Pure/System/registry.scala

Loading...