Diffusion Isabelle 3fb201ca8fb5

tuned --- more elementary Time operations;
3fb201ca8fb5
Actions

Tags

None

Subscribers

None

Description

tuned --- more elementary Time operations;

Details

Provenance

Authored on

Parents

rISABELLE1892708fd148: removed unused/pointless operation: Time.start is the load/init time of this…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3fb201ca8fb5: tuned --- more elementary Time operations;.Mar 5 2021, 5:02 PM

Changes (3)

Path

Size

src/

HOL/

Tools/

Nitpick/

Nunchaku/

rISABELLE3fb201ca8fb5

src/HOL/Tools/Nitpick/nitpick.ML

Loading...

src/HOL/Tools/Nunchaku/nunchaku.ML

Loading...

src/HOL/Tools/try0.ML

Loading...