session A = HOL +
  theories A

session B = A +
  theories B
