Diffusion Isabelle 03ae0ba2aa9e

prefer scalable Bytes.T;
03ae0ba2aa9e
Actions

Tags

None

Subscribers

None

Description

prefer scalable Bytes.T;

Details

Provenance

Authored on

Parents

rISABELLE0f7cb6cd08fe: more robust CSV syntax, e.g. for "pull_date";

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE03ae0ba2aa9e: prefer scalable Bytes.T;.Jun 24 2022, 10:55 AM

Changes (4)

Path

Size

src/

HOL/

Import/

TPTP/

Tools/

Sledgehammer/

sledgehammer_mash.ML

rISABELLE03ae0ba2aa9e

src/HOL/Import/import_rule.ML

Loading...

src/HOL/TPTP/mash_eval.ML

Loading...

src/HOL/TPTP/mash_export.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML

Loading...