Diffusion Isabelle e728d3a3d383

Tuned isar_proofs constructions
e728d3a3d383
Actions

Tags

None

Subscribers

None

Description

Tuned isar_proofs constructions

Details

Provenance

Authored on

Parents

rISABELLEb69a3a7655f2: Tuned isar_proof datatype

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLEe728d3a3d383: Tuned isar_proofs constructions.Oct 21 2020, 5:46 PM

Changes (4)

Path

Size

src/

HOL/

Tools/

Sledgehammer/

sledgehammer_isar.ML

sledgehammer_isar_compress.ML

sledgehammer_isar_minimize.ML

sledgehammer_isar_proof.ML

rISABELLEe728d3a3d383

src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_isar_compress.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_isar_minimize.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_isar_proof.ML

Loading...