HomeIsabelle/Phabricator
Diffusion Isabelle b61949cba32a

rationalize slicing format
b61949cba32a
Actions

Description

rationalize slicing format

Details

Provenance
blanchetteAuthored on
Parents
rISABELLEf741d55a81e5: thread slices through
Branches
Unknown
Tags
Unknown

Changes (7)

PathSize
src/
HOL/
Tools/
Sledgehammer/

rISABELLEb61949cba32a

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_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...