Diffusion Isabelle c83152933579

clarified signature: Bytes extends CharSequence already (see d201996f72a8);
c83152933579
Actions

Tags

None

Subscribers

None

Description

clarified signature: Bytes extends CharSequence already (see d201996f72a8);

Details

Provenance

Authored on

Parents

rISABELLEa578ebf5b78d: clarified exceptions;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc83152933579: clarified signature: Bytes extends CharSequence already (see d201996f72a8);.Apr 12 2021, 12:16 PM

Changes (3)

Path

Size

src/

Pure/

General/

PIDE/

rISABELLEc83152933579

src/Pure/General/bytes.scala

Loading...

src/Pure/General/utf8.scala

Loading...

src/Pure/PIDE/prover.scala

Loading...