Diffusion Isabelle bc89bdc65f29

clarified signature: more operations;
bc89bdc65f29
Actions

Tags

None

Subscribers

None

Description

clarified signature: more operations;

Details

Provenance

Authored on

Parents

rISABELLE409442cb7814: support interpreted/typed entries via Registry.Category and Registry.Table;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEbc89bdc65f29: clarified signature: more operations;.Sat, Nov 11, 8:01 PM

Changes (2)

Path

Size

src/

Pure/

Tools/

build_cluster.scala

rISABELLEbc89bdc65f29

src/Pure/Tools/build_cluster.scala

Loading...

src/Pure/library.scala

Loading...