Diffusion Isabelle 78698a97afb3

tuned output;
78698a97afb3
Actions

Tags

None

Subscribers

None

Description

tuned output;

Details

Provenance

Authored on

Parents

rISABELLEc125f75a5144: more robust: prefer strict operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE78698a97afb3: tuned output;.Sun, Nov 12, 12:54 PM

Changes (1)

Path

Size

src/

Pure/

System/

rISABELLE78698a97afb3

src/Pure/System/registry.scala

Loading...