HomeIsabelle/Phabricator
Diffusion Isabelle 4ea19e5dc67e

Tuned isar_step datatype
4ea19e5dc67e
Actions

Description

Tuned isar_step datatype

Details

Provenance
desharnaAuthored on
Parents
rISABELLEe728d3a3d383: Tuned isar_proofs constructions
Branches
Unknown
Tags
Unknown

Changes (6)

PathSize
src/
HOL/
Tools/
Sledgehammer/

rISABELLE4ea19e5dc67e

View Options

src/HOL/Tools/Sledgehammer/sledgehammer.ML

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