Diffusion Isabelle 905abe2ed279

proper parsing of TSTP HOL lines
905abe2ed279
Actions

Tags

None

Subscribers

None

Description

proper parsing of TSTP HOL lines

Details

Provenance

Authored on

Parents

rISABELLE8cb82e7f1743: proper defn of a heap

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE905abe2ed279: proper parsing of TSTP HOL lines.Nov 24 2020, 7:49 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

ATP/

rISABELLE905abe2ed279

src/HOL/Tools/ATP/atp_proof.ML

Loading...