Diffusion Isabelle d9b23902692d

excluded dummy ATPs from Sledgehammer's default provers
d9b23902692d
Actions

Tags

None

Subscribers

None

Description

excluded dummy ATPs from Sledgehammer's default provers

Details

Provenance

Authored on

Parents

rISABELLE84e6f9b542e2: move monotone from Complete_Partial_Order to Orderings

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLEd9b23902692d: excluded dummy ATPs from Sledgehammer's default provers.May 27 2022, 1:46 PM

Changes (3)

Path

Size

src/

HOL/

Tools/

Sledgehammer/

sledgehammer_atp_systems.ML

sledgehammer_commands.ML

sledgehammer_prover.ML

rISABELLEd9b23902692d

src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML

Loading...