Diffusion Isabelle d682b4000a77

proper use of flag;
d682b4000a77
Actions

Tags

None

Subscribers

None

Description

proper use of flag;

Details

Provenance

Authored on

Parents

rISABELLEfef74c06cfac: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd682b4000a77: proper use of flag;.Apr 4 2020, 9:38 PM

Changes (1)

Path

Size

src/

Pure/

Concurrent/

standard_thread.scala

rISABELLEd682b4000a77

src/Pure/Concurrent/standard_thread.scala

Loading...