Diffusion Isabelle 38e24aeeedb8

compile HOL-TPTP
38e24aeeedb8
Actions

Tags

None

Subscribers

None

Description

compile HOL-TPTP

Details

Provenance

Authored on

Parents

rISABELLE46a94aa3ec8e: compile Metis_Examples

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLE38e24aeeedb8: compile HOL-TPTP.Jan 31 2022, 4:09 PM

Changes (2)

Path

Size

src/

HOL/

TPTP/

rISABELLE38e24aeeedb8

src/HOL/TPTP/mash_eval.ML

Loading...

src/HOL/TPTP/mash_export.ML

Loading...