Diffusion Isabelle 404ce20efc4c

proper constants in TPTP $let binding
404ce20efc4c
Actions

Tags

None

Subscribers

None

Description

proper constants in TPTP $let binding

Details

Provenance

Authored on

Parents

rISABELLE102b55e81aca: proper firstorderization in Sledgehammer

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE404ce20efc4c: proper constants in TPTP $let binding.Sep 20 2021, 3:30 PM

Changes (2)

Path

Size

src/

HOL/

Tools/

ATP/

atp_problem_generate.ML

rISABELLE404ce20efc4c

src/HOL/Tools/ATP/atp_problem_generate.ML

Loading...

src/HOL/Tools/ATP/atp_util.ML

Loading...