Diffusion Isabelle 38528017e4c8

more verbosity for potentially bulky presentation;
38528017e4c8
Actions

Tags

None

Subscribers

None

Description

more verbosity for potentially bulky presentation;

Details

Provenance

Authored on

Parents

rISABELLEf602a380e4f2: tuned signature -- prefer Isabelle/ML structure Integer (despite minor…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE38528017e4c8: more verbosity for potentially bulky presentation;.Jan 2 2021, 12:05 AM

Changes (2)

Path

Size

src/

Pure/

Thy/

presentation.scala

Tools/

rISABELLE38528017e4c8

src/Pure/Thy/presentation.scala

Loading...

src/Pure/Tools/build.scala

Loading...