chapter AFP

session LTL = "HOL-Library" +
  options [timeout = 600]
  sessions
    Boolean_Expression_Checkers
  directories
    "example"
  theories
    LTL
    Rewriting
    Equivalence_Relations
    Disjunctive_Normal_Form
    Code_Equations
    "example/Example"
  document_files
    "root.tex"
    "root.bib"
  export_files (in "example") [2]
    "LTL.Example:code/**"