Diffusion Isabelle 5ef7f374e0f8

clarified signature -- avoid warning;
5ef7f374e0f8
Actions

Tags

None

Subscribers

None

Description

clarified signature -- avoid warning;

Details

Provenance

Authored on

Parents

rISABELLE291c46bf3000: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE5ef7f374e0f8: clarified signature -- avoid warning;.Apr 21 2020, 10:04 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLE5ef7f374e0f8

src/Pure/General/json.scala

Loading...