HomeIsabelle/Phabricator
Diffusion Isabelle f741d55a81e5

thread slices through
f741d55a81e5
Actions

Description

thread slices through

Details

Provenance
blanchetteAuthored on
Parents
rISABELLE114eb0af123d: simplified 'best_slice' data structure and made minor changes to slices
Branches
Unknown
Tags
Unknown

Changes (8)

PathSize
src/
HOL/
Tools/
Sledgehammer/

rISABELLEf741d55a81e5

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_mash.ML

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer_prover_minimize.ML

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer_tactics.ML

Loading...