src/HOL/HOLCF/ex/Concurrency_Monad.thy
2011-06-22 huffman 2011-06-22 add HOLCF/ex/Concurrency_Monad.thy, which contains resumption/state/powerdomain monad example from my PhD thesis