Diffusion Isabelle 600da8ccbe5b

removed support for iProver-Eq
600da8ccbe5b
Actions

Tags

None

Subscribers

None

Description

removed support for iProver-Eq

Details

Provenance

Authored on

Parents

rISABELLEa35618d00d29: updated iProver setup and tuned other ATP setups

Branches

Unknown

Tags

Unknown

Event Timeline

blanchet committed rISABELLE600da8ccbe5b: removed support for iProver-Eq.Oct 25 2019, 2:51 PM

Changes (3)

Path

Size

src/

Doc/

Sledgehammer/

document/

HOL/

Tools/

ATP/

rISABELLE600da8ccbe5b

src/Doc/Sledgehammer/document/root.tex

Loading...

src/HOL/Tools/ATP/atp_proof.ML

Loading...

src/HOL/Tools/ATP/atp_systems.ML

Loading...