try to avoid races again (cf. 8c37cb84065f and fd3a36e48b09);
no_document use_thys [
"~~/src/HOL/Library/Infinite_Set",
"~~/src/HOL/Library/Permutation"
];
use_thys [
"Fib",
"Factorization",
"Chinese",
"WilsonRuss",
"WilsonBij",
"Quadratic_Reciprocity",
"Primes",
"Pocklington"
];