Diffusion Isabelle ac5e633ad9b3

tuned signature: more operations;
ac5e633ad9b3
Actions

Tags

None

Subscribers

None

Description

tuned signature: more operations;

Details

Provenance

Authored on

Parents

rISABELLEad957ab06f72: tuned signature: more operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEac5e633ad9b3: tuned signature: more operations;.Jun 21 2022, 2:51 PM

Changes (3)

Path

Size

src/

Pure/

General/

PIDE/

byte_message.ML

rISABELLEac5e633ad9b3

src/Pure/General/bytes.ML

Loading...

src/Pure/General/file.ML

Loading...

src/Pure/PIDE/byte_message.ML

Loading...