session Multi_Isabelle = Pure +
  theories
    Multi_Isabelle
    Multi_Isabelle_Test
