Diffusion Isabelle 11045cf2b5c2

tuned signature: more operations;
11045cf2b5c2
Actions

Tags

None

Subscribers

None

Description

tuned signature: more operations;

Details

Provenance

Authored on

Parents

rISABELLEf4e7dec70fa4: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE11045cf2b5c2: tuned signature: more operations;.Sun, Nov 12, 8:19 PM

Changes (2)

Path

Size

src/

Pure/

General/

long_name.scala

System/

rISABELLE11045cf2b5c2

src/Pure/General/long_name.scala

Loading...

src/Pure/System/registry.scala

Loading...