Diffusion Isabelle 4879d0021185

more operations on Bytes.T;
4879d0021185
Actions

Tags

None

Subscribers

None

Description

more operations on Bytes.T;

Details

Provenance

Authored on

Parents

rISABELLE7a6301d01199: More lemmas.

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4879d0021185: more operations on Bytes.T;.Jun 28 2022, 11:24 AM

Changes (5)

Path

Size

src/

Pure/

PIDE/

System/

Tools/

rISABELLE4879d0021185

src/Pure/PIDE/protocol.ML

Loading...

src/Pure/PIDE/resources.ML

Loading...

src/Pure/PIDE/yxml.ML

Loading...

src/Pure/System/options.ML

Loading...

src/Pure/Tools/build.ML

Loading...