session Classy = Pure +
  sessions
    Multi_Isabelle
  theories
    Classy
    Test
