chapter AFP

session Special_Function_Bounds = Sturm_Sequences +
  description "Proofs of upper and lower bounds for trig functions, log, exp, square root"
  options [timeout = 600]
  theories
    Atan_CF_Bounds
    Bounds_Lemmas
    Exp_Bounds
    Log_CF_Bounds
    Sin_Cos_Bounds
    Sqrt_Bounds
  document_files
    "root.bib"
    "root.tex"
