try to avoid races again (cf. 8c37cb84065f and fd3a36e48b09);
(* Title: HOL/HOLCF/ex/ROOT.ML
Misc HOLCF examples.
*)
use_thys ["Dnat", "Dagstuhl", "Focus_ex", "Fix2", "Hoare",
"Concurrency_Monad",
"Loop", "Powerdomain_ex", "Domain_Proofs",
"Letrec",
"Pattern_Match"];