Diffusion Isabelle 9b69bb9c1c8d

changed Satallax's setup to invoke E
9b69bb9c1c8d
Actions

Tags

None

Subscribers

None

Description

changed Satallax's setup to invoke E

Details

Provenance

Authored on

Parents

rISABELLE273fc913427b: more transfer rules

Branches

Unknown

Tags

Unknown

Event Timeline

blanchet committed rISABELLE9b69bb9c1c8d: changed Satallax's setup to invoke E.Oct 25 2019, 1:25 PM

Changes (2)

Path

Size

src/

Doc/

Sledgehammer/

document/

HOL/

Tools/

ATP/

rISABELLE9b69bb9c1c8d

src/Doc/Sledgehammer/document/root.tex

Loading...

src/HOL/Tools/ATP/atp_systems.ML

Loading...