Diffusion Isabelle f0b2136e2204

tuned signature: prefer existing Haskell operations;
f0b2136e2204
Actions

Tags

None

Subscribers

None

Description

tuned signature: prefer existing Haskell operations;

Details

Provenance

Authored on

Parents

rISABELLE25c672c32467: more Haskell operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf0b2136e2204: tuned signature: prefer existing Haskell operations;.Aug 22 2021, 9:58 PM

Changes (1)

Path

Size

src/

Tools/

Haskell/

rISABELLEf0b2136e2204

src/Tools/Haskell/Haskell.thy

Loading...