HomeIsabelle/Phabricator
Diffusion Isabelle 1d2b2cc792f1

removed experimental encoding for Waldmeister
1d2b2cc792f1
Actions

Description

removed experimental encoding for Waldmeister

Details

Provenance
blanchetteAuthored on
Parents
rISABELLE1019b8609552: removed support for remote Satallax because its output does not clearly…
Branches
Unknown
Tags
Unknown

Changes (11)

PathSize
Sledgehammer/

rISABELLE1d2b2cc792f1

View Options

src/HOL/ATP.thy

Loading...
View Options

src/HOL/Tools/ATP/atp_problem_generate.ML

Loading...
View Options

src/HOL/Tools/ATP/atp_proof.ML

Loading...
View Options

src/HOL/Tools/ATP/atp_systems.ML

Loading...
View Options

src/HOL/Tools/ATP/atp_waldmeister.ML

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML

Loading...