Diffusion Isabelle 5cb7fd36223b

proper sorting of result (amending f458547b4f0f);
5cb7fd36223b
Actions

Tags

None

Subscribers

None

Description

proper sorting of result (amending f458547b4f0f);

Details

Provenance

Authored on

Parents

rISABELLEd15ad84d75f7: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE5cb7fd36223b: proper sorting of result (amending f458547b4f0f);.Mar 14 2023, 10:00 PM

Changes (1)

Path

Size

src/

Pure/

System/

rISABELLE5cb7fd36223b

src/Pure/System/options.scala

Loading...