chapter AFP

session AxiomaticCategoryTheory = HOL +
  options [timeout=600]
  theories
    AxiomaticCategoryTheory
  document_files
    "root.tex"
