Diffusion Isabelle cf09060add1c

nicer TPTP output
cf09060add1c
Actions

Tags

None

Subscribers

None

Description

nicer TPTP output

Details

Provenance

Authored on

Parents

rISABELLE4b8da5eef9d0: regenerated

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLEcf09060add1c: nicer TPTP output.Mar 29 2022, 12:50 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

ATP/

rISABELLEcf09060add1c

src/HOL/Tools/ATP/atp_problem.ML

Loading...