Diffusion Isabelle 3afd6b1c7ab5

more robust: insist in finished future;
3afd6b1c7ab5
Actions

Tags

None

Subscribers

None

Description

more robust: insist in finished future;

Details

Provenance

Authored on

Parents

rISABELLEdf99d26efeeb: unused;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3afd6b1c7ab5: more robust: insist in finished future;.Aug 5 2020, 12:42 PM

Changes (2)

Path

Size

src/

Pure/

Concurrent/

rISABELLE3afd6b1c7ab5

src/Pure/Concurrent/future.ML

Loading...

src/Pure/Concurrent/lazy.ML

Loading...