Diffusion Isabelle 30360ee939f4

clarified signature: more operations, allow recursive get;
30360ee939f4
Actions

Tags

None

Subscribers

None

Description

clarified signature: more operations, allow recursive get;

Details

Provenance

Authored on

Parents

rISABELLE7a58c1199de3: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE30360ee939f4: clarified signature: more operations, allow recursive get;.Sun, Nov 12, 10:05 PM

Changes (2)

Path

Size

src/

Pure/

System/

Tools/

build_cluster.scala

rISABELLE30360ee939f4

src/Pure/System/registry.scala

Loading...

src/Pure/Tools/build_cluster.scala

Loading...