Diffusion Isabelle 3fd54f7f52b0

tuned signature -- avoid warnings;
3fd54f7f52b0
Actions

Tags

None

Subscribers

None

Description

tuned signature -- avoid warnings;

Details

Provenance

Authored on

Parents

rISABELLE21adf2ed442c: more informative error;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3fd54f7f52b0: tuned signature -- avoid warnings;.Apr 22 2020, 5:52 PM

Changes (2)

Path

Size

src/

Pure/

General/

rISABELLE3fd54f7f52b0

src/Pure/General/pretty.scala

Loading...

src/Pure/term.scala

Loading...