Diffusion Isabelle cc23b4e66dce

prefer compact Isabelle.Bytes;
cc23b4e66dce
Actions

Tags

None

Subscribers

None

Description

prefer compact Isabelle.Bytes;

Details

Provenance

Authored on

Parents

rISABELLE6113f1db4342: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEcc23b4e66dce: prefer compact Isabelle.Bytes;.Jul 31 2021, 10:03 PM

Changes (1)

Path

Size

src/

Tools/

Haskell/

rISABELLEcc23b4e66dce

src/Tools/Haskell/Haskell.thy

Loading...