Diffusion Isabelle 157ad1f976d2

clarified signature: prefer static types;
157ad1f976d2
Actions

Tags

None

Subscribers

None

Description

clarified signature: prefer static types;

Details

Provenance

Authored on

Parents

rISABELLEf458547b4f0f: clarified signature (again, see also 8c64e51d9dde and 268bf61631ec);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE157ad1f976d2: clarified signature: prefer static types;.Mar 13 2023, 1:20 PM

Changes (1)

Path

Size

src/

Pure/

System/

rISABELLE157ad1f976d2

src/Pure/System/options.scala

Loading...