Diffusion Isabelle 4e30de0b4dd6

formal comment concerning 83d2208252d1 vs. d8dc8fdc46fc;
4e30de0b4dd6
Actions

Tags

None

Subscribers

None

Description

formal comment concerning 83d2208252d1 vs. d8dc8fdc46fc;

Details

Provenance

Authored on

Parents

rISABELLE4bb1251043cd: more NEWS and CONTRIBUTORS;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4e30de0b4dd6: formal comment concerning 83d2208252d1 vs. d8dc8fdc46fc;.Oct 4 2021, 2:07 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

Sledgehammer/

sledgehammer_commands.ML

rISABELLE4e30de0b4dd6

src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML

Loading...