theory MHsHOL 
imports "$HETS_LIB/Isabelle/HsHOL" 
begin
use_thy "$AWE_LIB/Extensions/AWE"
use_thy "$AWE_LIB/Monad/Monad"
use_thy "$AWE_LIB/Monad/ListMon"
use_thy "$AWE_LIB/Monad/Option"

end