Diffusion Isabelle fe114eca312e

added support for repote Alt-Ergo
fe114eca312e
Actions

Tags

None

Subscribers

None

Description

added support for repote Alt-Ergo

Details

Provenance

Authored on

Parents

rISABELLE646651bcf261: updated nomenclature for TPTP languages to use modern three-symbol…

Branches

Unknown

Tags

Unknown

Event Timeline

blanchet committed rISABELLEfe114eca312e: added support for repote Alt-Ergo.Oct 25 2019, 3:18 PM

Changes (2)

Path

Size

src/

Doc/

Sledgehammer/

document/

HOL/

Tools/

ATP/

rISABELLEfe114eca312e

src/Doc/Sledgehammer/document/root.tex

Loading...

src/HOL/Tools/ATP/atp_systems.ML

Loading...