session Classy = Pure +
  sessions
    Multi_Isabelle
  theories
    Classy
    Test

session "HOL-Classy" = HOL +
  sessions
    Classy
  theories
    Classy.Classy
    Classy.Test
