src/HOL/Library/Cset_Monad.thy

Goal.forked: clarified handling of interrupts;

(* Author: Andreas Lochbihler, KIT *)

header {* Add monad syntax for Csets *}

theory Cset_Monad
imports Cset Monad_Syntax 
begin

setup {*
  Adhoc_Overloading.add_variant @{const_name bind} @{const_name Cset.bind}
*}

end