Diffusion Isabelle ece4f07ebb04

fixed HOL-TPTP
ece4f07ebb04
Actions

Tags

None

Subscribers

None

Description

fixed HOL-TPTP

Details

Provenance

Authored on

Parents

rISABELLE2cbb5f6a854f: tuned vars_of_iterm

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLEece4f07ebb04: fixed HOL-TPTP.Dec 10 2021, 8:39 AM

Changes (3)

Path

Size

src/

HOL/

TPTP/

ATP_Theory_Export.thy

atp_problem_import.ML

atp_theory_export.ML

rISABELLEece4f07ebb04

src/HOL/TPTP/ATP_Theory_Export.thy

Loading...

src/HOL/TPTP/atp_problem_import.ML

Loading...

src/HOL/TPTP/atp_theory_export.ML

Loading...