Diffusion Isabelle f8d25850173b

reintroduced and renamed THF_Predicate_Free deleted by c7e2a9bdc585
f8d25850173b
Actions

Tags

None

Subscribers

None

Description

reintroduced and renamed THF_Predicate_Free deleted by c7e2a9bdc585

Details

Provenance

Authored on

Parents

rISABELLE5f7d86b28ffb: repaired thf output broken by c7e2a9bdc585

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLEf8d25850173b: reintroduced and renamed THF_Predicate_Free deleted by c7e2a9bdc585.Nov 19 2020, 3:11 PM

Changes (3)

Path

Size

src/

HOL/

Tools/

ATP/

atp_problem_generate.ML

Sledgehammer/

sledgehammer_atp_systems.ML

rISABELLEf8d25850173b

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...