session Test = Refine_Monadic +
  options [browser_info]
  
  sessions
    "Refine_Imperative_HOL"
    "Separation_Algebra"

  theories
    Scratch