try to avoid races again (cf. 8c37cb84065f and fd3a36e48b09);
no_document use_thys [
"~~/src/HOL/Library/Countable",
"~~/src/HOL/Multivariate_Analysis/Extended_Real_Limits",
"~~/src/HOL/Library/Permutation"];
use_thys [
"Probability",
"ex/Dining_Cryptographers",
"ex/Koepf_Duermuth_Countermeasure" ];