src/HOL/Hoare_Parallel/ROOT.ML

remove "fast_descs" option from Nitpick;
the option has been unsound for over a year and is too imprecise to be of any use when made sound

use_thys ["Hoare_Parallel"];