Diffusion Isabelle 932b2a7139e2

tuned message;
932b2a7139e2
Actions

Tags

None

Subscribers

None

Description

tuned message;

Details

Provenance

Authored on

Parents

rISABELLE12abaffb0346: tuned signature: more operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE932b2a7139e2: tuned message;.Sun, Nov 12, 12:33 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLE932b2a7139e2

src/Pure/General/path.scala

Loading...