Diffusion Isabelle e3475e1d5094

tuned signature: more robust operation;
e3475e1d5094
Actions

Tags

None

Subscribers

None

Description

tuned signature: more robust operation;

Details

Provenance

Authored on

Parents

rISABELLE7870cdaa3f1f: clarified order;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe3475e1d5094: tuned signature: more robust operation;.Mar 4 2022, 10:50 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLEe3475e1d5094

src/Pure/General/file.scala

Loading...