Diffusion Isabelle adaa2e9a4111

tuned signature: more generic operations;
adaa2e9a4111
Actions

Tags

None

Subscribers

None

Description

tuned signature: more generic operations;

Details

Provenance

Authored on

Parents

rISABELLE5b68a5cd7061: prefer UTF8 implementation from Data.Text.Encoding (foreign C);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEadaa2e9a4111: tuned signature: more generic operations;.Jul 28 2021, 3:19 PM

Changes (1)

Path

Size

src/

Tools/

Haskell/

rISABELLEadaa2e9a4111

src/Tools/Haskell/Haskell.thy

Loading...