Diffusion Isabelle 00eeac3fd246

parse Zipperposition definitions
00eeac3fd246
Actions

Tags

None

Subscribers

None

Description

parse Zipperposition definitions

Details

Provenance

Authored on

Parents

rISABELLE2efbb4e813ad: clarified URL;

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLE00eeac3fd246: parse Zipperposition definitions.Feb 22 2022, 9:58 AM

Changes (1)

Path

Size

src/

HOL/

Tools/

ATP/

rISABELLE00eeac3fd246

src/HOL/Tools/ATP/atp_proof.ML

Loading...