Diffusion Isabelle a8bbeb266651

prefer Isabelle.Bytes, based on ShortByteString;
a8bbeb266651
Actions

Tags

None

Subscribers

None

Description

prefer Isabelle.Bytes, based on ShortByteString;

Details

Provenance

Authored on

Parents

rISABELLEe249650504f3: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa8bbeb266651: prefer Isabelle.Bytes, based on ShortByteString;.Jul 28 2021, 5:30 PM

Changes (1)

Path

Size

src/

Tools/

Haskell/

rISABELLEa8bbeb266651

src/Tools/Haskell/Haskell.thy

Loading...