Diffusion Isabelle f4e7dec70fa4

clarified signature;
f4e7dec70fa4
Actions

Tags

None

Subscribers

None

Description

clarified signature;

Details

Provenance

Authored on

Parents

rISABELLE78698a97afb3: tuned output;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf4e7dec70fa4: clarified signature;.Sun, Nov 12, 7:58 PM

Changes (1)

Path

Size

src/

Pure/

System/

rISABELLEf4e7dec70fa4

src/Pure/System/registry.scala

Loading...