src/HOL/Library/Cset_Monad.thy

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