session Split = HOL +
  options [document = false]
  theories
    Model
