session Locally_Nameless_Lambda_Calculus = HOL +
  options [document = pdf, document_output = "output"]
  sessions
    First_Order_Terms
  theories
    LN_Lambda_Term
    LN_Lambda_Typing
    First_Order_to_Higher_Order_Terms
  document_files
    "root.tex"
