Diffusion Isabelle fff610f1a6f4

tuned whitespace;
fff610f1a6f4
Actions

Tags

None

Subscribers

None

Description

tuned whitespace;

Details

Provenance

Authored on

Parents

rISABELLEd5a1d64a563d: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEfff610f1a6f4: tuned whitespace;.Mon, Sep 4, 5:25 PM

Changes (1)

Path

Size

src/

Pure/

rISABELLEfff610f1a6f4

src/Pure/ROOT.ML

Loading...