Diffusion Isabelle 8d03d548df1c

proper Isabelle symbol positions;
8d03d548df1c
Actions

Tags

None

Subscribers

None

Description

proper Isabelle symbol positions;

Details

Provenance

Authored on

Parents

rISABELLEc576a4e2ffbc: more Haskell operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE8d03d548df1c: proper Isabelle symbol positions;.Aug 23 2021, 1:23 PM

Changes (1)

Path

Size

src/

Tools/

Haskell/

rISABELLE8d03d548df1c

src/Tools/Haskell/Haskell.thy

Loading...