chapter AFP

session CZH_Elementary_Categories = CZH_Foundations +
  options [timeout = 4800]
  directories
    czh_ecategories
  theories
    CZH_ECAT_Conclusions
  document_files
    "iman.sty"
    "extra.sty"
    "isar.sty"
    "style.sty"
    "root.tex"
    "root.bib"