src/HOL/Library/Cset_Monad.thy

generalize lemma of_nat_number_of_eq to class number_semiring

(* 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