Diffusion Isabelle afd8cb7b2be1

tuned imports;
afd8cb7b2be1
Actions

Tags

None

Subscribers

None

Description

tuned imports;

Details

Provenance

Authored on

Parents

rISABELLE9ddf227fc8a4: tuned comments;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEafd8cb7b2be1: tuned imports;.Dec 15 2021, 7:30 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLEafd8cb7b2be1

src/Pure/General/date.scala

Loading...