more robust Thy_Header.base_name, with minimal assumptions about path syntax;
Isabelle.buffer_path: keep platform syntax;
(* 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"];