HomeIsabelle/Phabricator
Diffusion Isabelle 890b70f96fe4

further work on new Sledgehammer slicing
890b70f96fe4
Actions

Description

further work on new Sledgehammer slicing

Details

Provenance
blanchetteAuthored on
Parents
rISABELLEb55d84e41d61: tweaked verbose output
Branches
Unknown
Tags
Unknown

Changes (5)

PathSize
src/
HOL/
Tools/
Sledgehammer/

rISABELLE890b70f96fe4

View Options

src/HOL/Sledgehammer.thy

Loading...
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_proof_methods.ML

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML

Loading...