Diffusion Isabelle 913407dad883

redundant, see prepare_dir;
913407dad883
Actions

Tags

None

Subscribers

None

Description

redundant, see prepare_dir;

Details

Provenance

Authored on

Parents

rISABELLEc7ab83a0c564: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE913407dad883: redundant, see prepare_dir;.Nov 11 2020, 9:06 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

rISABELLE913407dad883

src/Pure/Thy/present.scala

Loading...