Diffusion Isabelle a540283d6b58

tuned nitpick message: more like quickcheck;
a540283d6b58
Actions

Tags

None

Subscribers

None

Description

tuned nitpick message: more like quickcheck;

Details

Provenance

Authored on

Parents

rISABELLEbc31c4a2c77c: clarified;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa540283d6b58: tuned nitpick message: more like quickcheck;.Sep 25 2020, 3:40 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

Nitpick/

rISABELLEa540283d6b58

src/HOL/Tools/Nitpick/nitpick.ML

Loading...