session principles_financing = HOL +
  options [document = pdf, document_output = "output"]
  theories
    Principles_Financing
  document_files
    "root.tex"
