add HOLCF/ex/Concurrency_Monad.thy, which contains resumption/state/powerdomain monad example from my PhD thesis
(* 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"];