Diffusion Isabelle c7051638a38c

tuned: avoid ambiguity in scala3;
c7051638a38c
Actions

Tags

None

Subscribers

None

Description

tuned: avoid ambiguity in scala3;

Details

Provenance

Authored on

Parents

rISABELLE85e8b4c2b9a9: clarified signature: avoid ambiguity in scala3;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc7051638a38c: tuned: avoid ambiguity in scala3;.Apr 4 2022, 11:50 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

thy_header.scala

rISABELLEc7051638a38c

src/Pure/Thy/thy_header.scala

Loading...