Diffusion Isabelle daaaf59375e9

tuned signature;
daaaf59375e9
Actions

Tags

None

Subscribers

None

Description

tuned signature;

Details

Provenance

Authored on

Parents

rISABELLE649708f75c6f: more thorough database checks;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEdaaaf59375e9: tuned signature;.Mar 16 2023, 3:46 PM

Changes (2)

Path

Size

src/

Pure/

Thy/

Tools/

rISABELLEdaaaf59375e9

src/Pure/Thy/sessions.scala

Loading...

src/Pure/Tools/build.scala

Loading...