Diffusion Isabelle b2b097624e4c

clarified types and defaults;
b2b097624e4c
Actions

Tags

None

Subscribers

None

Description

clarified types and defaults;

Details

Provenance

Authored on

Parents

rISABELLE29654a8e9374: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb2b097624e4c: clarified types and defaults;.Jun 22 2022, 11:09 AM

Changes (4)

Path

Size

src/

Pure/

General/

PIDE/

resources.scala

System/

rISABELLEb2b097624e4c

src/Pure/General/bytes.scala

Loading...

src/Pure/PIDE/resources.ML

Loading...

src/Pure/PIDE/resources.scala

Loading...

src/Pure/System/scala.scala

Loading...