Diffusion Isabelle bc7b7357f4bc

clarified signature: more operations;
bc7b7357f4bc
Actions

Tags

None

Subscribers

None

Description

clarified signature: more operations;

Details

Provenance

Authored on

Parents

rISABELLE4cb67b3895b9: clarified output;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEbc7b7357f4bc: clarified signature: more operations;.Sat, Nov 11, 6:39 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLEbc7b7357f4bc

src/Pure/General/toml.scala

Loading...