Diffusion Isabelle 11de287ed481

tweaked tptp parsing when source info is missing
11de287ed481
Actions

Tags

None

Subscribers

None

Description

tweaked tptp parsing when source info is missing

Details

Provenance

Authored on

Parents

rISABELLE461327d0ad16: merged

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE11de287ed481: tweaked tptp parsing when source info is missing.Dec 17 2020, 3:31 PM

makarius mentioned this in T30: Component and Isabelle/ML setup for Zipperposition.Jan 7 2021, 1:17 PM

Changes (2)

Path

Size

src/

HOL/

Tools/

ATP/

atp_proof_reconstruct.ML

rISABELLE11de287ed481

src/HOL/Tools/ATP/atp_proof.ML

Loading...

src/HOL/Tools/ATP/atp_proof_reconstruct.ML

Loading...