Diffusion Isabelle a8b032dede5c

treat Symbol.eof as in ML (but: presently unused);
a8b032dede5c
Actions

Tags

None

Subscribers

None

Description

treat Symbol.eof as in ML (but: presently unused);

Details

Provenance

Authored on

Parents

rISABELLEb70714530045: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa8b032dede5c: treat Symbol.eof as in ML (but: presently unused);.Aug 23 2021, 8:44 PM

Changes (1)

Path

Size

src/

Tools/

Haskell/

rISABELLEa8b032dede5c

src/Tools/Haskell/Haskell.thy

Loading...