HomeIsabelle/Phabricator
Diffusion Isabelle b69a3a7655f2

Tuned isar_proof datatype
b69a3a7655f2
Actions

Description

Tuned isar_proof datatype

Details

Provenance
desharnaAuthored on
Parents
rISABELLEde581f98a3a1: bundled syntax for state monad combinators
Branches
Unknown
Tags
Unknown

Changes (5)

PathSize
src/
HOL/
Tools/
Sledgehammer/

rISABELLEb69a3a7655f2

View Options

src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer_isar_compress.ML

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer_isar_minimize.ML

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer_isar_preplay.ML

Loading...
View Options

src/HOL/Tools/Sledgehammer/sledgehammer_isar_proof.ML

Loading...