Diffusion Isabelle f12539c8de0c

more handling of Zipperposition definitions in Isar proof construction
f12539c8de0c
Actions

Tags

None

Subscribers

None

Description

more handling of Zipperposition definitions in Isar proof construction

Details

Provenance

Authored on

Parents

rISABELLE66eb6fdfc244: handle Zipperposition definitions in Isar proof construction

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLEf12539c8de0c: more handling of Zipperposition definitions in Isar proof construction.Feb 22 2022, 12:45 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

Sledgehammer/

sledgehammer_isar.ML

rISABELLEf12539c8de0c

src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML

Loading...