session HoTT = Pure +
  sessions
    "HOL-Eisbach"
  theories
    HoTT_Base
    HoTT
    "tests/Test"
    "ex/Methods"
    "ex/Synthesis"
    "ex/Book/Ch1"