Diffusion Isabelle e62d5433bb47

early setup of proof preprocessing;
e62d5433bb47
Actions

Tags

None

Subscribers

None

Description

early setup of proof preprocessing;

Details

Provenance

Authored on

Parents

rISABELLE3777d9aaaaad: clarified output and input of Typ/Term;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLEe62d5433bb47: early setup of proof preprocessing;.Oct 12 2019, 4:46 PM

Changes (3)

Path

Size

src/

HOL/

Tools/

rewrite_hol_proof.ML

rISABELLEe62d5433bb47

src/HOL/Extraction.thy

Loading...

src/HOL/HOL.thy

Loading...

src/HOL/Tools/rewrite_hol_proof.ML

Loading...