chapter AFP 

session Binding_Syntax_Theory = "HOL-Cardinals" +
  description "Theory of Syntax with Bindings"
  options [timeout = 3600]
  theories [document = false]
    Preliminaries
  theories
    Semantic_Domains 
    Recursion
  document_files
    "root.tex"
