chapter AFP

session Cauchy = HOL +
  options [timeout = 600]
  theories [show_question_marks = false]
    CauchysMeanTheorem
    CauchySchwarz
  document_files
    "root.tex"
