Diffusion Isabelle 5d1a7b688f6d

recognize THF proofs properly
5d1a7b688f6d
Actions

Tags

None

Subscribers

None

Description

recognize THF proofs properly

Details

Provenance

Authored on

Parents

rISABELLE48013583e8e6: factored out bit comprehension

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE5d1a7b688f6d: recognize THF proofs properly.Oct 8 2020, 4:07 PM

makarius mentioned this in rISABELLEcd3419427cd3: activate E 2.5 for production use (see also 5d1a7b688f6d);.Oct 12 2020, 5:56 PM

Changes (2)

Path

Size

src/

HOL/

Tools/

ATP/

atp_satallax.ML

rISABELLE5d1a7b688f6d

src/HOL/Tools/ATP/atp_proof.ML

Loading...

src/HOL/Tools/ATP/atp_satallax.ML

Loading...