Diffusion Isabelle d219a959b951

clarified test of directories;
d219a959b951
Actions

Tags

None

Subscribers

None

Description

clarified test of directories;

Details

Provenance

Authored on

Parents

rISABELLE13b74f2e1f96: misc tuning for release;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd219a959b951: clarified test of directories;.Oct 7 2021, 10:44 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

Nitpick/

rISABELLEd219a959b951

src/HOL/Tools/Nitpick/kodkod_sat.ML

Loading...