simplified default Isabelle application wrapper (NB: build process is already part of isabelle jedit tool);
(* 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