session Split = HOL +
  options [document = false]
  theories
    Model
    Isolation
    Execution
    Protocol
    Snapshot
    Reuse
    Export