Diffusion Isabelle d3069e7e1175

proper usage;
d3069e7e1175
Actions

Tags

None

Subscribers

None

Description

proper usage;

Details

Provenance

Authored on

Parents

rISABELLEed99d0f9b536: clarified;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd3069e7e1175: proper usage;.Oct 3 2020, 2:06 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

rISABELLEd3069e7e1175

src/Pure/Admin/build_e.scala

Loading...