Diffusion Isabelle 30a0f5879d90

clarified operations: follow Isabelle/ML more closely;
30a0f5879d90
Actions

Tags

None

Subscribers

None

Description

clarified operations: follow Isabelle/ML more closely;

Details

Provenance

Authored on

Parents

rISABELLEc645d973f881: provide current vampire-4.5.1: presently unused in Sledgehammer, but relevant…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE30a0f5879d90: clarified operations: follow Isabelle/ML more closely;.Sep 16 2021, 6:59 PM

Changes (1)

Path

Size

src/

Tools/

Haskell/

rISABELLE30a0f5879d90

src/Tools/Haskell/Haskell.thy

Loading...