session "Sail" = "LEM" +
  options [browser_info, document = pdf, document_output = "output"]
  sessions
    "HOL-Eisbach"
  theories [document = false]
    Sail_values_lemmas
    Prompt
    State_lemmas
    Sail_operators_mwords_lemmas
    Sail_operators_bitlists
    Hoare
  document_files "root.tex"