Diffusion Isabelle bc263f1f68cd

added support for TFX's and THF's $ite to Sledgehammer
bc263f1f68cd
Actions

Tags

None

Subscribers

None

Description

added support for TFX's and THF's $ite to Sledgehammer

Details

Provenance

Authored on

Parents

rISABELLE4538d6ffafbd: tuned Mirabelle documentation

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLEbc263f1f68cd: added support for TFX's and THF's $ite to Sledgehammer.Jun 17 2021, 12:57 PM

Changes (4)

Path

Size

src/

Doc/

Sledgehammer/

document/

HOL/

Tools/

ATP/

atp_problem_generate.ML

Sledgehammer/

sledgehammer_atp_systems.ML

rISABELLEbc263f1f68cd

src/Doc/Sledgehammer/document/root.tex

Loading...

src/HOL/Tools/ATP/atp_problem.ML

Loading...

src/HOL/Tools/ATP/atp_problem_generate.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML

Loading...