renamed theory Complete_Lattice to Complete_Lattices, in accordance with Lattices, Orderings etc.
(* 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