Diffusion Isabelle 6bf6160a2c54

proper scala.collection.immutable;
6bf6160a2c54
Actions

Tags

None

Subscribers

None

Description

proper scala.collection.immutable;

Details

Provenance

Authored on

Parents

rISABELLE5e312d6bb883: tuned --- fewer warnings;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6bf6160a2c54: proper scala.collection.immutable;.Mar 4 2021, 4:23 PM

Changes (2)

Path

Size

src/

Pure/

Thy/

Tools/

rISABELLE6bf6160a2c54

src/Pure/Thy/sessions.scala

Loading...

src/Pure/Tools/build.scala

Loading...