Diffusion Isabelle 5f7d86b28ffb

repaired thf output broken by c7e2a9bdc585
5f7d86b28ffb
Actions

Tags

None

Subscribers

None

Description

repaired thf output broken by c7e2a9bdc585

Details

Provenance

Authored on

Parents

rISABELLEfebfb98d0941: renamed data type

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE5f7d86b28ffb: repaired thf output broken by c7e2a9bdc585.Nov 19 2020, 2:46 PM

Changes (2)

Path

Size

src/

HOL/

Tools/

ATP/

atp_problem_generate.ML

Sledgehammer/

sledgehammer_atp_systems.ML

rISABELLE5f7d86b28ffb

src/HOL/Tools/ATP/atp_problem_generate.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML

Loading...