Diffusion Isabelle 66eb6fdfc244

handle Zipperposition definitions in Isar proof construction
66eb6fdfc244
Actions

Tags

None

Subscribers

None

Description

handle Zipperposition definitions in Isar proof construction

Details

Provenance

Authored on

Parents

rISABELLE00eeac3fd246: parse Zipperposition definitions

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLE66eb6fdfc244: handle Zipperposition definitions in Isar proof construction.Feb 22 2022, 12:36 PM

Changes (4)

Path

Size

src/

HOL/

Tools/

ATP/

atp_proof_reconstruct.ML

Sledgehammer/

sledgehammer_isar.ML

sledgehammer_isar_preplay.ML

rISABELLE66eb6fdfc244

src/HOL/Tools/ATP/atp_proof.ML

Loading...

src/HOL/Tools/ATP/atp_proof_reconstruct.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_isar_preplay.ML

Loading...