HomeIsabelle/Phabricator
Diffusion Isabelle ae4dc5ac983f

implemented 'max_proofs' mechanism
ae4dc5ac983f
Actions

Description

implemented 'max_proofs' mechanism

Details

Provenance
blanchetteAuthored on
Parents
rISABELLE919fb49ba201: document new option 'max_proofs'
Branches
Unknown
Tags
Unknown

Changes (7)

PathSize
src/
Doc/
Sledgehammer/
document/
HOL/
Tools/
Mirabelle/
Sledgehammer/

rISABELLEae4dc5ac983f

View Options

src/Doc/Sledgehammer/document/root.tex

Loading...
View Options

src/HOL/Sledgehammer.thy

Loading...
View Options

src/HOL/Tools/Mirabelle/mirabelle_sledgehammer.ML

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer.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...