Diffusion Isabelle 01bb90de56bb

optimized facts traversal in TPTP translation
01bb90de56bb
Actions

Tags

None

Subscribers

None

Description

optimized facts traversal in TPTP translation

Details

Provenance

Authored on

Parents

rISABELLE4106bc2a9cc8: optimized app_op_level selection in TPTP generation

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE01bb90de56bb: optimized facts traversal in TPTP translation.Jan 22 2022, 2:33 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

ATP/

atp_problem_generate.ML

rISABELLE01bb90de56bb

src/HOL/Tools/ATP/atp_problem_generate.ML

Loading...