Diffusion Isabelle c8c40e11c907

clarified signature: more operations;
c8c40e11c907
Actions

Tags

None

Subscribers

None

Description

clarified signature: more operations;

Details

Provenance

Authored on

Parents

rISABELLEcd350dcd912a: tuned comments;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc8c40e11c907: clarified signature: more operations;.Sat, Nov 11, 9:25 PM

Changes (1)

Path

Size

src/

Pure/

System/

rISABELLEc8c40e11c907

src/Pure/System/registry.scala

Loading...