Diffusion Isabelle a35618d00d29

updated iProver setup and tuned other ATP setups
a35618d00d29
Actions

Tags

None

Subscribers

None

Description

updated iProver setup and tuned other ATP setups

Details

Provenance

Authored on

Parents

rISABELLE1d2b2cc792f1: removed experimental encoding for Waldmeister

Branches

Unknown

Tags

Unknown

Event Timeline

blanchet committed rISABELLEa35618d00d29: updated iProver setup and tuned other ATP setups.Oct 25 2019, 2:47 PM

Changes (2)

Path

Size

src/

Doc/

Sledgehammer/

document/

HOL/

Tools/

ATP/

rISABELLEa35618d00d29

src/Doc/Sledgehammer/document/root.tex

Loading...

src/HOL/Tools/ATP/atp_systems.ML

Loading...