Diffusion Isabelle d201996f72a8

provide CharSequence operations as well;
d201996f72a8
Actions

Tags

None

Subscribers

None

Description

provide CharSequence operations as well;

Details

Provenance

Authored on

Parents

rISABELLE1cdc63224ed3: more GUI components;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius mentioned this in rISABELLEc83152933579: clarified signature: Bytes extends CharSequence already (see d201996f72a8);.Apr 12 2021, 11:26 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLEd201996f72a8

src/Pure/General/bytes.scala

Loading...