Diffusion Isabelle a78b5ffc0f46

more robust ordering (see also 88c96e836ed6);
a78b5ffc0f46
Actions

Tags

None

Subscribers

None

Description

more robust ordering (see also 88c96e836ed6);

Details

Provenance

Authored on

Parents

rISABELLE6bf6160a2c54: proper scala.collection.immutable;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa78b5ffc0f46: more robust ordering (see also 88c96e836ed6);.Mar 4 2021, 6:04 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

rISABELLEa78b5ffc0f46

src/Pure/Tools/build.scala

Loading...