Diffusion Isabelle 6b104dc069de

clarified signature --- augment existing structure Time;
6b104dc069de
Actions

Tags

None

Subscribers

None

Description

clarified signature --- augment existing structure Time;

Details

Provenance

Authored on

Parents

rISABELLE2b1b7b58d0e7: rebuild SMT certificates from scratch;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6b104dc069de: clarified signature --- augment existing structure Time;.Mar 5 2021, 4:09 PM

Changes (10)

Path

Size

HOL/

Tools/

Sledgehammer/

sledgehammer.ML

sledgehammer_isar_compress.ML

sledgehammer_isar_preplay.ML

sledgehammer_mash.ML

sledgehammer_util.ML

rISABELLE6b104dc069de

src/HOL/Tools/Sledgehammer/sledgehammer.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_isar_compress.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_isar_preplay.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_util.ML

Loading...

src/Pure/General/time.ML

Loading...

src/Pure/ROOT.ML

Loading...