HomeIsabelle/Phabricator
Diffusion Isabelle 779faa014564

renamed new Sledgehammer option
779faa014564
Actions

Description

renamed new Sledgehammer option

Details

Provenance
blanchetteAuthored on
Parents
rISABELLEe10f15652026: updated documentation
Branches
Unknown
Tags
Unknown

Changes (5)

PathSize
src/
HOL/
Tools/
Sledgehammer/

rISABELLE779faa014564

View Options

src/HOL/Tools/Sledgehammer/sledgehammer.ML

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer_prover_minimize.ML

Loading...