session "Naproche" in "Isabelle/Main" = HOL +
  description "Isabelle/Naproche main session"
  sessions
    Haskell
  theories
    Naproche
    Build

session "Naproche-Test" in "Isabelle/Test" = Naproche +
  description "Isabelle/Naproche test session"
  theories
    Test
