chapter AFP

session "Taylor_Models" = "Affine_Arithmetic" +
  options [timeout = 1200]
  theories [document=false]
    Polynomial_Expression
  theories
    Float_Topology
    Taylor_Models
    Experiments
  document_files
    "root.tex"
