Diffusion Isabelle 80021d645a01

tuned structure;
80021d645a01
Actions

Tags

None

Subscribers

None

Description

tuned structure;

Details

Provenance

Authored on

Parents

rISABELLE89c42ec77a84: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE80021d645a01: tuned structure;.Mar 8 2023, 3:25 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_process.scala

rISABELLE80021d645a01

src/Pure/Tools/build_process.scala

Loading...